the pervert is not Stoic.
sent1: the Duralumin is not a kind of a hot-rod if something is not a hot-rod and/or it is not gastroduodenal. sent2: the wank is either autoimmune or cervical or both if that it does not irrigate is not incorrect. sent3: the fact that the sphenion is not cosmologic but it is managerial is incorrect. sent4: the papier-mache is not a hot-rod. sent5: the pervert is a Stoic if the wank is a stomp but it is not a hot-rod. sent6: if something does not irrigate it is autoimmune and/or it is cervical. sent7: something is not a kind of a Stoic if it irrigates. sent8: something is not a kind of a hot-rod or is not gastroduodenal or both if it is not a Rhynia. sent9: the wank is not a kind of a hot-rod if it is a Rhynia. sent10: the wank does not irrigate. sent11: the pervert is exocentric and/or does darken if it is not a hot-rod. sent12: the wank is a kind of a Rhynia. sent13: if the fact that something does not irrigate is true it is not autoimmune or it is cervical or both. sent14: the coneflower is not a Rhynia if that that the sphenion is not cosmologic and is managerial does not hold is correct. sent15: the wank does stomp if it is not autoimmune. sent16: the wank is a stomp if it is not autoimmune or is cervical or both. sent17: the wank is autoimmune and/or it is cervical.
sent13 -> int1: that the wank is not autoimmune or is cervical or both is not false if the fact that it does not irrigate is not wrong.; int1 & sent10 -> int2: the wank is not autoimmune and/or it is cervical.; int2 & sent16 -> int3: the wank is a stomp.; sent9 & sent12 -> int4: the wank is not a hot-rod.; int3 & int4 -> int5: the wank is a stomp but it is not a hot-rod.; int5 & sent5 -> hypothesis;
the pervert is not a Stoic.
sent8 -> int6: if the coneflower is not a Rhynia it is not a hot-rod and/or it is not gastroduodenal.; sent14 & sent3 -> int7: the coneflower is not a Rhynia.; int6 & int7 -> int8: either the coneflower is not a hot-rod or it is not gastroduodenal or both.; int8 -> int9: something is not a kind of a hot-rod and/or it is not gastroduodenal.; int9 & sent1 -> int10: the Duralumin is not a hot-rod.; int10 -> int11: something is not a kind of a hot-rod.;
$hypothesis$ = the pervert is not Stoic. ; $context$ = sent1: the Duralumin is not a kind of a hot-rod if something is not a hot-rod and/or it is not gastroduodenal. sent2: the wank is either autoimmune or cervical or both if that it does not irrigate is not incorrect. sent3: the fact that the sphenion is not cosmologic but it is managerial is incorrect. sent4: the papier-mache is not a hot-rod. sent5: the pervert is a Stoic if the wank is a stomp but it is not a hot-rod. sent6: if something does not irrigate it is autoimmune and/or it is cervical. sent7: something is not a kind of a Stoic if it irrigates. sent8: something is not a kind of a hot-rod or is not gastroduodenal or both if it is not a Rhynia. sent9: the wank is not a kind of a hot-rod if it is a Rhynia. sent10: the wank does not irrigate. sent11: the pervert is exocentric and/or does darken if it is not a hot-rod. sent12: the wank is a kind of a Rhynia. sent13: if the fact that something does not irrigate is true it is not autoimmune or it is cervical or both. sent14: the coneflower is not a Rhynia if that that the sphenion is not cosmologic and is managerial does not hold is correct. sent15: the wank does stomp if it is not autoimmune. sent16: the wank is a stomp if it is not autoimmune or is cervical or both. sent17: the wank is autoimmune and/or it is cervical. ; $proof$ = 
sent13 -> int1: that the wank is not autoimmune or is cervical or both is not false if the fact that it does not irrigate is not wrong.; int1 & sent10 -> int2: the wank is not autoimmune and/or it is cervical.; int2 & sent16 -> int3: the wank is a stomp.; sent9 & sent12 -> int4: the wank is not a hot-rod.; int3 & int4 -> int5: the wank is a stomp but it is not a hot-rod.; int5 & sent5 -> hypothesis; __DISPROVED__