the ophthalmologist scourges coursework and is casuistic.
sent1: the ophthalmologist does scourge coursework if the fact that it does not scourge coursework and is wigless is false. sent2: the ophthalmologist is wigless and it does rehabilitate if it is not a shrug. sent3: the ophthalmologist is casuistic if it is cuticular. sent4: the phenolphthalein is casuistic and/or it scourges coursework if there exists something such that it does scourges coursework. sent5: the Panama does scourge coursework. sent6: there exists something such that the fact that it is a physiologist and it is a kind of a oilfish does not hold. sent7: if something rehabilitates then it is Gambian. sent8: if something is casuistic it is cuticular. sent9: the fact that the ophthalmologist is cuticular is not wrong. sent10: if the ophthalmologist is a Gambian the phenolphthalein is a Gambian. sent11: the fact that the ophthalmologist does not scourge coursework and is wigless is not true. sent12: something is not casuistic if that it is not cuticular and/or does not rehabilitate is incorrect.
sent3 & sent9 -> int1: the ophthalmologist is casuistic.; sent1 & sent11 -> int2: the ophthalmologist does scourge coursework.; int1 & int2 -> hypothesis;
the fact that the ophthalmologist does scourge coursework and is casuistic is false.
sent12 -> int3: if that the Panama is not cuticular and/or does not rehabilitate is wrong then it is not casuistic.;
$hypothesis$ = the ophthalmologist scourges coursework and is casuistic. ; $context$ = sent1: the ophthalmologist does scourge coursework if the fact that it does not scourge coursework and is wigless is false. sent2: the ophthalmologist is wigless and it does rehabilitate if it is not a shrug. sent3: the ophthalmologist is casuistic if it is cuticular. sent4: the phenolphthalein is casuistic and/or it scourges coursework if there exists something such that it does scourges coursework. sent5: the Panama does scourge coursework. sent6: there exists something such that the fact that it is a physiologist and it is a kind of a oilfish does not hold. sent7: if something rehabilitates then it is Gambian. sent8: if something is casuistic it is cuticular. sent9: the fact that the ophthalmologist is cuticular is not wrong. sent10: if the ophthalmologist is a Gambian the phenolphthalein is a Gambian. sent11: the fact that the ophthalmologist does not scourge coursework and is wigless is not true. sent12: something is not casuistic if that it is not cuticular and/or does not rehabilitate is incorrect. ; $proof$ = 
sent3 & sent9 -> int1: the ophthalmologist is casuistic.; sent1 & sent11 -> int2: the ophthalmologist does scourge coursework.; int1 & int2 -> hypothesis; __PROVED__