2 added 4 characters in body
source | link

You have to use or-elim on 1) considering two separate cases.

1st case : Dodec(x) and Large(x), from which, with 3) and assuming Small(x), derive a contradiction and then FrontOf(x,c).

2nd case Cube(x) and Small(x), from which, with 2), derive FrontOf(x,c).

You have to use or-elim on 1) considering two separate cases.

1st case : Dodec(x) and Large(x), from which, with 3) and assuming Small(x), derive a contradiction and then FrontOf(x).

2nd case Cube(x) and Small(x), from which, with 2), derive FrontOf(x).

You have to use or-elim on 1) considering two separate cases.

1st case : Dodec(x) and Large(x), from which, with 3) and assuming Small(x), derive a contradiction and then FrontOf(x,c).

2nd case Cube(x) and Small(x), from which, with 2), derive FrontOf(x,c).

1
source | link

You have to use or-elim on 1) considering two separate cases.

1st case : Dodec(x) and Large(x), from which, with 3) and assuming Small(x), derive a contradiction and then FrontOf(x).

2nd case Cube(x) and Small(x), from which, with 2), derive FrontOf(x).