the deist is not a kind of a Toynbee.
sent1: that the deist is a Toynbee is not incorrect if it does shelter haying. sent2: the fact that the fist either is not dimorphic or is not a premolar or both is wrong if it is a Bevin. sent3: the fist does not jump suffragette. sent4: the hitchhiker is inactive and/or it is serious if there exists something such that it is a limitation. sent5: the villager is dimorphic if the fact that the fist is not dimorphic or it is not a premolar or both does not hold. sent6: the finalist is not crude. sent7: if something does shelter haying it is crude. sent8: the deist is not a Toynbee if that it is a kind of conspicuous thing that is not a cinchona is not true. sent9: if the guitarist is not conspicuous the deist is a kind of a Toynbee and it shelters haying. sent10: that the deist is conspicuous and does not cinch is wrong if the finalist does not shelter haying. sent11: if a crude thing is dimorphic the leviathan is conspicuous. sent12: if that the hitchhiker is serious is not incorrect the villager is crude. sent13: the plodder is a Toynbee. sent14: the villager is crude if the hitchhiker is inactive. sent15: the Italian is a limitation. sent16: if the fact that the leviathan is not inconspicuous and is a cinchona is not wrong then the guitarist is inconspicuous. sent17: if the fact that the fist does not jump suffragette is true then it is a Bevin.
sent7 -> int1: that the finalist is crude if the finalist shelters haying is not false.; void -> assump1: Let's assume that the finalist does shelter haying.; int1 & assump1 -> int2: the finalist is not non-crude.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the finalist does not shelter haying.; int4 & sent10 -> int5: the fact that the deist is conspicuous but it is not a cinchona is incorrect.; int5 & sent8 -> hypothesis;
the fact that the deist is a Toynbee hold.
sent15 -> int6: something is a limitation.; int6 & sent4 -> int7: either the hitchhiker is inactive or it is serious or both.; int7 & sent14 & sent12 -> int8: the villager is crude.; sent17 & sent3 -> int9: that the fist is a Bevin is right.; sent2 & int9 -> int10: that either the fist is non-dimorphic or it is not a kind of a premolar or both is not correct.; sent5 & int10 -> int11: the villager is dimorphic.; int8 & int11 -> int12: the villager is crude and it is dimorphic.; int12 -> int13: something is crude and it is dimorphic.; int13 & sent11 -> int14: the leviathan is conspicuous.;
$hypothesis$ = the deist is not a kind of a Toynbee. ; $context$ = sent1: that the deist is a Toynbee is not incorrect if it does shelter haying. sent2: the fact that the fist either is not dimorphic or is not a premolar or both is wrong if it is a Bevin. sent3: the fist does not jump suffragette. sent4: the hitchhiker is inactive and/or it is serious if there exists something such that it is a limitation. sent5: the villager is dimorphic if the fact that the fist is not dimorphic or it is not a premolar or both does not hold. sent6: the finalist is not crude. sent7: if something does shelter haying it is crude. sent8: the deist is not a Toynbee if that it is a kind of conspicuous thing that is not a cinchona is not true. sent9: if the guitarist is not conspicuous the deist is a kind of a Toynbee and it shelters haying. sent10: that the deist is conspicuous and does not cinch is wrong if the finalist does not shelter haying. sent11: if a crude thing is dimorphic the leviathan is conspicuous. sent12: if that the hitchhiker is serious is not incorrect the villager is crude. sent13: the plodder is a Toynbee. sent14: the villager is crude if the hitchhiker is inactive. sent15: the Italian is a limitation. sent16: if the fact that the leviathan is not inconspicuous and is a cinchona is not wrong then the guitarist is inconspicuous. sent17: if the fact that the fist does not jump suffragette is true then it is a Bevin. ; $proof$ = 
sent7 -> int1: that the finalist is crude if the finalist shelters haying is not false.; void -> assump1: Let's assume that the finalist does shelter haying.; int1 & assump1 -> int2: the finalist is not non-crude.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the finalist does not shelter haying.; int4 & sent10 -> int5: the fact that the deist is conspicuous but it is not a cinchona is incorrect.; int5 & sent8 -> hypothesis; __PROVED__