the chlorobenzene is not a butterwort.
sent1: if the aquatic is a fitment then the sneaker does fool adoration. sent2: that something is a kind of opportune thing that does not fool aleph-null if it fools adoration hold. sent3: something is not anemometric and/or it is not a Seminole if it is a sipunculid. sent4: if something is a Seminole then it is a butterwort. sent5: that the gasoline is a kind of a boringness and it is narrow is false if it is not a domain. sent6: if that the cymule is a whelk and/or it does not blame gasoline is wrong then the chlorobenzene is a Seminole. sent7: something is not a kind of a notch if it is not a oilcan. sent8: the Muskogee is not a sipunculid and is a cheapjack if the Thracian does not fool aleph-null. sent9: the Thracian does not fool aleph-null if the sneaker is opportune thing that does not fool aleph-null. sent10: something is not anemometric but a Seminole if it is not a sipunculid. sent11: the dhow does not narrow if there is something such that the fact that it is a boringness and it is a narrow is wrong. sent12: something is anemometric if it is a kind of a sipunculid. sent13: the cymule is a cheapjack and/or it is a sipunculid if the Muskogee does not fool aleph-null. sent14: something is not anemometric if it does whelk or does not blame gasoline or both. sent15: the gasoline is not a kind of a domain. sent16: the aquatic is a fitment or it fools adoration or both if there is something such that it is not narrow. sent17: if something either is a butterwort or does not fool aleph-null or both it is not a whelk. sent18: if something is a cheapjack then it is anemometric. sent19: the Muskogee does not fool aleph-null. sent20: something is not anemometric if it is a whelk. sent21: something does fool LTM if it is sure. sent22: The aleph-null does not fool Muskogee.
sent14 -> int1: if the cymule is a whelk and/or it does not blame gasoline then it is not anemometric.; void -> assump1: Let's assume that the fact that the cymule does whelk and/or it does not blame gasoline is true.; int1 & assump1 -> int2: the cymule is not anemometric.; sent13 & sent19 -> int3: either the cymule is a kind of a cheapjack or it is a sipunculid or both.; sent18 -> int4: if the cymule is a cheapjack it is anemometric.; sent12 -> int5: if the cymule is a kind of a sipunculid it is anemometric.; int3 & int4 & int5 -> int6: the cymule is anemometric.; int2 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the cymule does whelk and/or it does not blame gasoline is not right.; int8 & sent6 -> int9: the chlorobenzene is a kind of a Seminole.; sent4 -> int10: if the chlorobenzene is a kind of a Seminole it is a kind of a butterwort.; int9 & int10 -> hypothesis;
the fact that the chlorobenzene is not a butterwort hold.
sent10 -> int11: the Muskogee is not anemometric but it is a Seminole if it is not a sipunculid.; sent2 -> int12: if the fact that the sneaker fools adoration is right then it is opportune and it does not fool aleph-null.; sent5 & sent15 -> int13: that the fact that the gasoline is a boringness and it is a narrow does not hold hold.; int13 -> int14: that there is something such that the fact that it is a boringness and it does narrow does not hold hold.; int14 & sent11 -> int15: that the dhow does not narrow is not wrong.; int15 -> int16: something does not narrow.; int16 & sent16 -> int17: either the aquatic is a fitment or it does fool adoration or both.;
$hypothesis$ = the chlorobenzene is not a butterwort. ; $context$ = sent1: if the aquatic is a fitment then the sneaker does fool adoration. sent2: that something is a kind of opportune thing that does not fool aleph-null if it fools adoration hold. sent3: something is not anemometric and/or it is not a Seminole if it is a sipunculid. sent4: if something is a Seminole then it is a butterwort. sent5: that the gasoline is a kind of a boringness and it is narrow is false if it is not a domain. sent6: if that the cymule is a whelk and/or it does not blame gasoline is wrong then the chlorobenzene is a Seminole. sent7: something is not a kind of a notch if it is not a oilcan. sent8: the Muskogee is not a sipunculid and is a cheapjack if the Thracian does not fool aleph-null. sent9: the Thracian does not fool aleph-null if the sneaker is opportune thing that does not fool aleph-null. sent10: something is not anemometric but a Seminole if it is not a sipunculid. sent11: the dhow does not narrow if there is something such that the fact that it is a boringness and it is a narrow is wrong. sent12: something is anemometric if it is a kind of a sipunculid. sent13: the cymule is a cheapjack and/or it is a sipunculid if the Muskogee does not fool aleph-null. sent14: something is not anemometric if it does whelk or does not blame gasoline or both. sent15: the gasoline is not a kind of a domain. sent16: the aquatic is a fitment or it fools adoration or both if there is something such that it is not narrow. sent17: if something either is a butterwort or does not fool aleph-null or both it is not a whelk. sent18: if something is a cheapjack then it is anemometric. sent19: the Muskogee does not fool aleph-null. sent20: something is not anemometric if it is a whelk. sent21: something does fool LTM if it is sure. sent22: The aleph-null does not fool Muskogee. ; $proof$ = 
sent14 -> int1: if the cymule is a whelk and/or it does not blame gasoline then it is not anemometric.; void -> assump1: Let's assume that the fact that the cymule does whelk and/or it does not blame gasoline is true.; int1 & assump1 -> int2: the cymule is not anemometric.; sent13 & sent19 -> int3: either the cymule is a kind of a cheapjack or it is a sipunculid or both.; sent18 -> int4: if the cymule is a cheapjack it is anemometric.; sent12 -> int5: if the cymule is a kind of a sipunculid it is anemometric.; int3 & int4 & int5 -> int6: the cymule is anemometric.; int2 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the cymule does whelk and/or it does not blame gasoline is not right.; int8 & sent6 -> int9: the chlorobenzene is a kind of a Seminole.; sent4 -> int10: if the chlorobenzene is a kind of a Seminole it is a kind of a butterwort.; int9 & int10 -> hypothesis; __DISPROVED__