the fact that the SEAL is not a sociable is not false.
sent1: if something is burrlike but it does not laicize belting then it is relevant. sent2: the Excellency is burrlike if it is a takeaway and does not laicize ordinal. sent3: everything is burrlike and it does not laicize belting. sent4: if there is something such that that it is a kind of a lurch that is a sociable does not hold the armilla is not a sociable. sent5: everything is burrlike. sent6: if the fact that something is a Gesell and it does metabolize is not right then it is not relevant. sent7: if that the fact that something is not relevant and it does not trace fetoscope hold is not true it trace fetoscope. sent8: if something is not a kind of a HS2 the fact that it is a Gesell that does metabolize does not hold. sent9: the lechery metabolizes if something is a HS2 and it is a Gesell. sent10: there is something such that it is both a HS2 and a Gesell. sent11: the SEAL is burrlike. sent12: if the fact that something is a lurch and sociable does not hold that it is not a kind of a sociable is correct. sent13: that if something is relevant it is a sociable is not wrong. sent14: the SEAL is a kind of burrlike thing that is not proteinaceous.
sent3 -> int1: the SEAL is burrlike but it does not laicize belting.; sent1 -> int2: the SEAL is relevant if the fact that it is burrlike and does not laicize belting is correct.; int1 & int2 -> int3: the SEAL is relevant.; sent13 -> int4: the SEAL is sociable if it is relevant.; int3 & int4 -> hypothesis;
the SEAL traces fetoscope.
sent7 -> int5: if the fact that the SEAL is not relevant and does not trace fetoscope is incorrect then it does trace fetoscope.; sent10 & sent9 -> int6: the lechery does metabolize.; int6 -> int7: something does metabolize.;
$hypothesis$ = the fact that the SEAL is not a sociable is not false. ; $context$ = sent1: if something is burrlike but it does not laicize belting then it is relevant. sent2: the Excellency is burrlike if it is a takeaway and does not laicize ordinal. sent3: everything is burrlike and it does not laicize belting. sent4: if there is something such that that it is a kind of a lurch that is a sociable does not hold the armilla is not a sociable. sent5: everything is burrlike. sent6: if the fact that something is a Gesell and it does metabolize is not right then it is not relevant. sent7: if that the fact that something is not relevant and it does not trace fetoscope hold is not true it trace fetoscope. sent8: if something is not a kind of a HS2 the fact that it is a Gesell that does metabolize does not hold. sent9: the lechery metabolizes if something is a HS2 and it is a Gesell. sent10: there is something such that it is both a HS2 and a Gesell. sent11: the SEAL is burrlike. sent12: if the fact that something is a lurch and sociable does not hold that it is not a kind of a sociable is correct. sent13: that if something is relevant it is a sociable is not wrong. sent14: the SEAL is a kind of burrlike thing that is not proteinaceous. ; $proof$ = 
sent3 -> int1: the SEAL is burrlike but it does not laicize belting.; sent1 -> int2: the SEAL is relevant if the fact that it is burrlike and does not laicize belting is correct.; int1 & int2 -> int3: the SEAL is relevant.; sent13 -> int4: the SEAL is sociable if it is relevant.; int3 & int4 -> hypothesis; __DISPROVED__