the Hittite is a strawboard.
sent1: something is not a kind of a Peru. sent2: the snowplow is not a strawboard if there is something such that it is not a throbbing. sent3: the fact that the snowplow is not a strawboard if there is something such that it is not a throbbing and/or it is a koumiss is not incorrect. sent4: the snowplow is a grab. sent5: the blackfly is a multiplex. sent6: the blackfly is both a strawboard and a throbbing. sent7: the Hittite gorges oxygenation. sent8: there exists something such that either it throbs or it is a kind of a koumiss or both. sent9: the snowplow is magnetic. sent10: if the blackfly is a multiplex then it is a basics. sent11: if the snowplow is not a strawboard then the blackfly is a kind of a koumiss that is a kind of a strawboard. sent12: if the Hittite does not gorge oxygenation the blackfly is a koumiss and gorge oxygenation. sent13: the Hittite does gorge oxygenation and is a strawboard if the snowplow is not a strawboard. sent14: the blackfly is not a throbbing or it is a koumiss or both if there exists something such that it is not a Peru. sent15: the fact that something is not a kind of a throbbing but it is a kind of a Peru is not true if it is not a kind of a koumiss. sent16: the blackfly is not a koumiss or it is a strawboard or both. sent17: something is not a koumiss if the fact that it is a kind of a koumiss and it does gorge oxygenation is not correct. sent18: the blackfly is a kind of a restrainer that assembles Avignon. sent19: if something is not a strawboard the blackfly does throb or gorges oxygenation or both.
sent1 & sent14 -> int1: either the blackfly is not a throbbing or it is a koumiss or both.; int1 -> int2: there exists something such that either it is not a kind of a throbbing or it is a koumiss or both.; int2 & sent3 -> int3: the snowplow is not a strawboard.; int3 & sent13 -> int4: the Hittite gorges oxygenation and it is a strawboard.; int4 -> hypothesis;
the Hittite is not a strawboard.
sent15 -> int5: if that the Hittite is not a koumiss is right then that it is not a throbbing but a Peru does not hold.; sent17 -> int6: the Hittite is not a koumiss if the fact that it is a kind of a koumiss and gorges oxygenation is incorrect.; sent10 & sent5 -> int7: the blackfly is a kind of a basics.; int7 -> int8: there is something such that it is a basics.;
$hypothesis$ = the Hittite is a strawboard. ; $context$ = sent1: something is not a kind of a Peru. sent2: the snowplow is not a strawboard if there is something such that it is not a throbbing. sent3: the fact that the snowplow is not a strawboard if there is something such that it is not a throbbing and/or it is a koumiss is not incorrect. sent4: the snowplow is a grab. sent5: the blackfly is a multiplex. sent6: the blackfly is both a strawboard and a throbbing. sent7: the Hittite gorges oxygenation. sent8: there exists something such that either it throbs or it is a kind of a koumiss or both. sent9: the snowplow is magnetic. sent10: if the blackfly is a multiplex then it is a basics. sent11: if the snowplow is not a strawboard then the blackfly is a kind of a koumiss that is a kind of a strawboard. sent12: if the Hittite does not gorge oxygenation the blackfly is a koumiss and gorge oxygenation. sent13: the Hittite does gorge oxygenation and is a strawboard if the snowplow is not a strawboard. sent14: the blackfly is not a throbbing or it is a koumiss or both if there exists something such that it is not a Peru. sent15: the fact that something is not a kind of a throbbing but it is a kind of a Peru is not true if it is not a kind of a koumiss. sent16: the blackfly is not a koumiss or it is a strawboard or both. sent17: something is not a koumiss if the fact that it is a kind of a koumiss and it does gorge oxygenation is not correct. sent18: the blackfly is a kind of a restrainer that assembles Avignon. sent19: if something is not a strawboard the blackfly does throb or gorges oxygenation or both. ; $proof$ = 
sent1 & sent14 -> int1: either the blackfly is not a throbbing or it is a koumiss or both.; int1 -> int2: there exists something such that either it is not a kind of a throbbing or it is a koumiss or both.; int2 & sent3 -> int3: the snowplow is not a strawboard.; int3 & sent13 -> int4: the Hittite gorges oxygenation and it is a strawboard.; int4 -> hypothesis; __PROVED__