the mossback does not sophisticate stabber.
sent1: if the bullfighter is a stoop then the mossback subsides. sent2: the bullfighter subsides if there exists something such that it is not an authoritarian or it is geophysical or both. sent3: the bullfighter is not non-lexicographic. sent4: the bullfighter subsides if there exists something such that it is an expedient. sent5: that there is something such that it does not sophisticate Giraffidae and/or it is advisable is not false. sent6: the mossback is cataclinal. sent7: if the bullfighter does subside then the mossback sophisticates stabber. sent8: the transistor is tuberous. sent9: that the mossback is tuberous hold. sent10: something is not unifilar or it is a slugger or both. sent11: there exists something such that it does not subside and/or it does sophisticate stabber. sent12: if something subsides it does not sophisticate stabber. sent13: the bullfighter is tuberous. sent14: the bullfighter subsides if there is something such that it is not tuberous and/or it is a kind of an expedient. sent15: the bullfighter is a doorplate if something is not a Zapodidae or sophisticates stabber or both. sent16: if the bullfighter does sophisticate stabber the mossback does subside. sent17: the fact that something is tuberous and/or is expedient hold. sent18: there is something such that it does not sophisticate stabber and/or it does subside. sent19: something is non-tuberous and/or not inexpedient.
sent19 & sent14 -> int1: the bullfighter subsides.; sent7 & int1 -> hypothesis;
the mossback does not sophisticate stabber.
sent12 -> int2: if that the mossback does subside is true then it does not sophisticate stabber.;
$hypothesis$ = the mossback does not sophisticate stabber. ; $context$ = sent1: if the bullfighter is a stoop then the mossback subsides. sent2: the bullfighter subsides if there exists something such that it is not an authoritarian or it is geophysical or both. sent3: the bullfighter is not non-lexicographic. sent4: the bullfighter subsides if there exists something such that it is an expedient. sent5: that there is something such that it does not sophisticate Giraffidae and/or it is advisable is not false. sent6: the mossback is cataclinal. sent7: if the bullfighter does subside then the mossback sophisticates stabber. sent8: the transistor is tuberous. sent9: that the mossback is tuberous hold. sent10: something is not unifilar or it is a slugger or both. sent11: there exists something such that it does not subside and/or it does sophisticate stabber. sent12: if something subsides it does not sophisticate stabber. sent13: the bullfighter is tuberous. sent14: the bullfighter subsides if there is something such that it is not tuberous and/or it is a kind of an expedient. sent15: the bullfighter is a doorplate if something is not a Zapodidae or sophisticates stabber or both. sent16: if the bullfighter does sophisticate stabber the mossback does subside. sent17: the fact that something is tuberous and/or is expedient hold. sent18: there is something such that it does not sophisticate stabber and/or it does subside. sent19: something is non-tuberous and/or not inexpedient. ; $proof$ = 
sent19 & sent14 -> int1: the bullfighter subsides.; sent7 & int1 -> hypothesis; __DISPROVED__