the fact that the aileron is not a Brya hold.
sent1: something defrosts but it is not abomasal if it is not a kind of a chute. sent2: that there exists something such that that it is abomasal a Millikan is not correct is not wrong. sent3: the fact that if there exists something such that the fact that it is not a Tera but neurological is wrong the deliveryman is not a chute is not wrong. sent4: there exists something such that it defrosts and it is abomasal. sent5: that the deliveryman does not chute is true if there exists something such that the fact that it is not neurological hold. sent6: the tensimeter is a kind of a Brya. sent7: there exists something such that that it does not defrost and is a Millikan is false. sent8: if something that does defrost is not abomasal the tensimeter is a Millikan. sent9: there exists something such that the fact that it is not a Tera and it is neurological is not right. sent10: if there is something such that that it does not board aileron and it does jet mistrial does not hold then the aileron is not abomasal. sent11: the ligand is not abomasal. sent12: the aileron is a Brya if the tensimeter is a Millikan. sent13: something that is not a chute is not abomasal. sent14: there is something such that it is not abomasal. sent15: the fact that the deliveryman is not abomasal is not wrong.
sent9 & sent3 -> int1: the deliveryman does not chute.; sent1 -> int2: that the deliveryman does defrost and is not abomasal if the fact that the deliveryman is not a chute is not incorrect is not false.; int1 & int2 -> int3: the deliveryman does defrost and is not abomasal.; int3 -> int4: there is something such that it defrosts and is not abomasal.; int4 & sent8 -> int5: the fact that the tensimeter is a Millikan hold.; int5 & sent12 -> hypothesis;
$hypothesis$ = the fact that the aileron is not a Brya hold. ; $context$ = sent1: something defrosts but it is not abomasal if it is not a kind of a chute. sent2: that there exists something such that that it is abomasal a Millikan is not correct is not wrong. sent3: the fact that if there exists something such that the fact that it is not a Tera but neurological is wrong the deliveryman is not a chute is not wrong. sent4: there exists something such that it defrosts and it is abomasal. sent5: that the deliveryman does not chute is true if there exists something such that the fact that it is not neurological hold. sent6: the tensimeter is a kind of a Brya. sent7: there exists something such that that it does not defrost and is a Millikan is false. sent8: if something that does defrost is not abomasal the tensimeter is a Millikan. sent9: there exists something such that the fact that it is not a Tera and it is neurological is not right. sent10: if there is something such that that it does not board aileron and it does jet mistrial does not hold then the aileron is not abomasal. sent11: the ligand is not abomasal. sent12: the aileron is a Brya if the tensimeter is a Millikan. sent13: something that is not a chute is not abomasal. sent14: there is something such that it is not abomasal. sent15: the fact that the deliveryman is not abomasal is not wrong. ; $proof$ = 
sent9 & sent3 -> int1: the deliveryman does not chute.; sent1 -> int2: that the deliveryman does defrost and is not abomasal if the fact that the deliveryman is not a chute is not incorrect is not false.; int1 & int2 -> int3: the deliveryman does defrost and is not abomasal.; int3 -> int4: there is something such that it defrosts and is not abomasal.; int4 & sent8 -> int5: the fact that the tensimeter is a Millikan hold.; int5 & sent12 -> hypothesis; __DISPROVED__