the fact that the bennet is lobar hold.
sent1: something is not lobar if it does not beggar Decapterus. sent2: if that something beggars Decapterus and is a footstep is not correct it is not lobar. sent3: there is something such that that it is a Andrews and it is hairless is not right. sent4: the fact that if the fact that the bennet does not beggar Decapterus is true the bennet is not lobar is right. sent5: that something does beggar Decapterus and is a kind of a footstep is not true if it is not a Andrews. sent6: something is a kind of a Andrews and it is hairless. sent7: that something is not lobar but a Andrews is not right if it is not phalangeal. sent8: the bennet is not a Andrews if there exists something such that the fact that it is a kind of a Andrews that is hairless is false. sent9: if something is not a kind of a Andrews the bennet is not a Andrews. sent10: the ride does not mobilize.
sent5 -> int1: if the bennet is not a Andrews the fact that it beggars Decapterus and it is a footstep is false.; sent3 & sent8 -> int2: the bennet is not a Andrews.; int1 & int2 -> int3: the fact that the bennet does beggar Decapterus and is a footstep is not true.; sent2 -> int4: if the fact that the bennet beggars Decapterus and it is a footstep is wrong then it is not lobar.; int3 & int4 -> hypothesis;
the bennet is lobar.
sent7 -> int5: if the alluvion is not phalangeal then that it is not lobar but a Andrews is not right.;
$hypothesis$ = the fact that the bennet is lobar hold. ; $context$ = sent1: something is not lobar if it does not beggar Decapterus. sent2: if that something beggars Decapterus and is a footstep is not correct it is not lobar. sent3: there is something such that that it is a Andrews and it is hairless is not right. sent4: the fact that if the fact that the bennet does not beggar Decapterus is true the bennet is not lobar is right. sent5: that something does beggar Decapterus and is a kind of a footstep is not true if it is not a Andrews. sent6: something is a kind of a Andrews and it is hairless. sent7: that something is not lobar but a Andrews is not right if it is not phalangeal. sent8: the bennet is not a Andrews if there exists something such that the fact that it is a kind of a Andrews that is hairless is false. sent9: if something is not a kind of a Andrews the bennet is not a Andrews. sent10: the ride does not mobilize. ; $proof$ = 
sent5 -> int1: if the bennet is not a Andrews the fact that it beggars Decapterus and it is a footstep is false.; sent3 & sent8 -> int2: the bennet is not a Andrews.; int1 & int2 -> int3: the fact that the bennet does beggar Decapterus and is a footstep is not true.; sent2 -> int4: if the fact that the bennet beggars Decapterus and it is a footstep is wrong then it is not lobar.; int3 & int4 -> hypothesis; __DISPROVED__