# Return to Answer

 2 added 4 characters in body edited Nov 24 '18 at 8:51 Mauro ALLEGRANZA 28.9k22 gold badges2020 silver badges6868 bronze badges 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 answered Nov 23 '18 at 17:29 Mauro ALLEGRANZA 28.9k22 gold badges2020 silver badges6868 bronze badges 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).