the archaeopteryx is not a apprehender.
sent1: the varnisher reruns clericalism if the akee is an upset. sent2: if the Popper does ballot but it is not biogeographic the nucleotide is not stingy. sent3: the akee upsets. sent4: the akee is a apprehender. sent5: if the varnisher does rerun clericalism the archaeopteryx is a kind of a apprehender. sent6: the fact that the dachshund is not Machiavellian but it does unstrap purpose does not hold if the nucleotide is not stingy. sent7: the akee is a reappraisal. sent8: the Popper is not a anticipator if it is not sapphirine and it is not instructive. sent9: something that is not a anticipator is a ballot and not biogeographic. sent10: if the Popper is a kind of a Stephenson then it is a kind of non-sapphirine thing that is not instructive. sent11: that the Popper is a Stephenson is not false.
sent1 & sent3 -> int1: the varnisher does rerun clericalism.; sent5 & int1 -> hypothesis;
the varnisher upsets.
sent9 -> int2: the Popper is a ballot but it is not biogeographic if it is not a kind of a anticipator.; sent10 & sent11 -> int3: the Popper is not sapphirine and it is not instructive.; sent8 & int3 -> int4: the Popper is not a kind of a anticipator.; int2 & int4 -> int5: the Popper is a ballot and not biogeographic.; sent2 & int5 -> int6: that the nucleotide is not stingy is not false.; sent6 & int6 -> int7: the fact that the dachshund is non-Machiavellian thing that does unstrap purpose is not right.; int7 -> int8: there exists something such that that it is a kind of non-Machiavellian thing that unstraps purpose is not right.;
$hypothesis$ = the archaeopteryx is not a apprehender. ; $context$ = sent1: the varnisher reruns clericalism if the akee is an upset. sent2: if the Popper does ballot but it is not biogeographic the nucleotide is not stingy. sent3: the akee upsets. sent4: the akee is a apprehender. sent5: if the varnisher does rerun clericalism the archaeopteryx is a kind of a apprehender. sent6: the fact that the dachshund is not Machiavellian but it does unstrap purpose does not hold if the nucleotide is not stingy. sent7: the akee is a reappraisal. sent8: the Popper is not a anticipator if it is not sapphirine and it is not instructive. sent9: something that is not a anticipator is a ballot and not biogeographic. sent10: if the Popper is a kind of a Stephenson then it is a kind of non-sapphirine thing that is not instructive. sent11: that the Popper is a Stephenson is not false. ; $proof$ = 
sent1 & sent3 -> int1: the varnisher does rerun clericalism.; sent5 & int1 -> hypothesis; __DISPROVED__