that the batfish is a Lugosi and it is a kind of a Mesozoic if the wings is not Hasidic does not hold.
sent1: the batfish is a kind of a Lugosi if there is something such that the fact that it does not gin Bellerophon or does pucker or both is not right. sent2: the harridan is Mesozoic if the jaboncillo is impermanent. sent3: if the Illinoisan is not onymous and jives then the jaboncillo does not reprise metric. sent4: there is something such that it is not scenic. sent5: the wasp does gargle. sent6: if the harridan is Hasidic then the batfish is a kind of a jurist and/or is not a defile. sent7: if the wasp is a unscrupulousness the jaboncillo is a kind of a Lugosi. sent8: if a Mesozoic is a Lugosi the harridan is Hasidic. sent9: there is something such that it is a Lugosi and/or it is not impermanent. sent10: there is something such that it is a Hungarian and/or it is a kind of a pastime. sent11: the batfish is a Mesozoic if there is something such that it is a Mesozoic and/or it is not a kind of a unscrupulousness. sent12: the fact that something does not gin Bellerophon and/or is a kind of a pucker is false if it is not Hasidic. sent13: the fact that something is not a virtue and/or it is a Peneidae is incorrect if it does gargle. sent14: the jaboncillo is impermanent. sent15: there exists something such that that it gins antler hold. sent16: something that does not reprise metric is not non-Mesozoic and not permanent. sent17: if that the wasp is not a virtue and/or it is a Peneidae is not right then it is a kind of a unscrupulousness. sent18: the treelet is not impermanent.
sent12 -> int1: if the wings is not Hasidic then that it does not gin Bellerophon and/or does pucker is incorrect.; void -> assump1: Let's assume that the wings is not Hasidic.; int1 & assump1 -> int2: that the wings does not gin Bellerophon and/or it puckers does not hold.; int2 -> int3: there exists something such that that the fact that it does not gin Bellerophon or it is a pucker or both is not false is wrong.; int3 & sent1 -> int4: the batfish is a kind of a Lugosi.; sent2 & sent14 -> int5: the harridan is Mesozoic.; int5 -> int6: the harridan is a Mesozoic and/or it is not a kind of a unscrupulousness.; int6 -> int7: there exists something such that it is either a Mesozoic or not a unscrupulousness or both.; int7 & sent11 -> int8: the batfish is a kind of a Mesozoic.; int4 & int8 -> int9: the batfish is a kind of a Lugosi that is a Mesozoic.; [assump1] & int9 -> hypothesis;
there is something such that the fact that it is a jurist or does not defile or both is right.
sent16 -> int10: the jaboncillo is Mesozoic and it is impermanent if it does not reprise metric.; sent13 -> int11: the fact that the wasp is not a virtue and/or is a kind of a Peneidae is wrong if it gargles.; int11 & sent5 -> int12: that the wasp is not a virtue and/or it is a Peneidae is not right.; sent17 & int12 -> int13: the wasp is a unscrupulousness.; sent7 & int13 -> int14: the jaboncillo is a Lugosi.;
$hypothesis$ = that the batfish is a Lugosi and it is a kind of a Mesozoic if the wings is not Hasidic does not hold. ; $context$ = sent1: the batfish is a kind of a Lugosi if there is something such that the fact that it does not gin Bellerophon or does pucker or both is not right. sent2: the harridan is Mesozoic if the jaboncillo is impermanent. sent3: if the Illinoisan is not onymous and jives then the jaboncillo does not reprise metric. sent4: there is something such that it is not scenic. sent5: the wasp does gargle. sent6: if the harridan is Hasidic then the batfish is a kind of a jurist and/or is not a defile. sent7: if the wasp is a unscrupulousness the jaboncillo is a kind of a Lugosi. sent8: if a Mesozoic is a Lugosi the harridan is Hasidic. sent9: there is something such that it is a Lugosi and/or it is not impermanent. sent10: there is something such that it is a Hungarian and/or it is a kind of a pastime. sent11: the batfish is a Mesozoic if there is something such that it is a Mesozoic and/or it is not a kind of a unscrupulousness. sent12: the fact that something does not gin Bellerophon and/or is a kind of a pucker is false if it is not Hasidic. sent13: the fact that something is not a virtue and/or it is a Peneidae is incorrect if it does gargle. sent14: the jaboncillo is impermanent. sent15: there exists something such that that it gins antler hold. sent16: something that does not reprise metric is not non-Mesozoic and not permanent. sent17: if that the wasp is not a virtue and/or it is a Peneidae is not right then it is a kind of a unscrupulousness. sent18: the treelet is not impermanent. ; $proof$ = 
sent12 -> int1: if the wings is not Hasidic then that it does not gin Bellerophon and/or does pucker is incorrect.; void -> assump1: Let's assume that the wings is not Hasidic.; int1 & assump1 -> int2: that the wings does not gin Bellerophon and/or it puckers does not hold.; int2 -> int3: there exists something such that that the fact that it does not gin Bellerophon or it is a pucker or both is not false is wrong.; int3 & sent1 -> int4: the batfish is a kind of a Lugosi.; sent2 & sent14 -> int5: the harridan is Mesozoic.; int5 -> int6: the harridan is a Mesozoic and/or it is not a kind of a unscrupulousness.; int6 -> int7: there exists something such that it is either a Mesozoic or not a unscrupulousness or both.; int7 & sent11 -> int8: the batfish is a kind of a Mesozoic.; int4 & int8 -> int9: the batfish is a kind of a Lugosi that is a Mesozoic.; [assump1] & int9 -> hypothesis; __DISPROVED__