the parallax is a kind of a Reagan that is a kind of a amicability.
sent1: that the gunsight is not a Donatist or it is not a surfboat or both is not true. sent2: if the gunsight is not a Reagan and it is not a surfboat the parallax is a surfboat. sent3: the gunsight does consolidate gunsight and is a Reagan. sent4: the fantail does empty foot-ton and it is a Carcharhinidae. sent5: the parallax is a kind of a Tachyglossidae. sent6: everything is not foreleg. sent7: the parallax is a amicability if that the gunsight is a Donatist and/or is not a surfboat is not true. sent8: the gunsight is a Reagan. sent9: there is something such that the fact that it is Donatist and it lifts is not true. sent10: the parallax is a Tachyglossidae and is a Reagan. sent11: the fact that something is not Donatist and it is not a kind of a Tachyglossidae does not hold if it is a kind of a amicability. sent12: if that something is a amicability and it is a Tachyglossidae is not correct it is not a kind of a amicability. sent13: if the fact that the gunsight is not a Donatist and/or it is not a surfboat is wrong then that the parallax is a amicability hold. sent14: the gunsight does sniff morocco and it is a kind of a receptionist. sent15: if the fact that the gunsight is either not Donatist or a surfboat or both is not right then the parallax is a amicability. sent16: the gunsight is both not a Reagan and not a surfboat if the L-dopa is not a Tachyglossidae.
sent10 -> int1: the parallax is a kind of a Reagan.; sent13 & sent1 -> int2: the parallax is a amicability.; int1 & int2 -> hypothesis;
the parallax is a surfboat.
sent11 -> int3: if the girdle is a amicability then the fact that it is not a Donatist and not a Tachyglossidae is false.; sent6 -> int4: the president is not foreleg.;
$hypothesis$ = the parallax is a kind of a Reagan that is a kind of a amicability. ; $context$ = sent1: that the gunsight is not a Donatist or it is not a surfboat or both is not true. sent2: if the gunsight is not a Reagan and it is not a surfboat the parallax is a surfboat. sent3: the gunsight does consolidate gunsight and is a Reagan. sent4: the fantail does empty foot-ton and it is a Carcharhinidae. sent5: the parallax is a kind of a Tachyglossidae. sent6: everything is not foreleg. sent7: the parallax is a amicability if that the gunsight is a Donatist and/or is not a surfboat is not true. sent8: the gunsight is a Reagan. sent9: there is something such that the fact that it is Donatist and it lifts is not true. sent10: the parallax is a Tachyglossidae and is a Reagan. sent11: the fact that something is not Donatist and it is not a kind of a Tachyglossidae does not hold if it is a kind of a amicability. sent12: if that something is a amicability and it is a Tachyglossidae is not correct it is not a kind of a amicability. sent13: if the fact that the gunsight is not a Donatist and/or it is not a surfboat is wrong then that the parallax is a amicability hold. sent14: the gunsight does sniff morocco and it is a kind of a receptionist. sent15: if the fact that the gunsight is either not Donatist or a surfboat or both is not right then the parallax is a amicability. sent16: the gunsight is both not a Reagan and not a surfboat if the L-dopa is not a Tachyglossidae. ; $proof$ = 
sent10 -> int1: the parallax is a kind of a Reagan.; sent13 & sent1 -> int2: the parallax is a amicability.; int1 & int2 -> hypothesis; __PROVED__