the mother-in-law does not straighten.
sent1: if something is not pretentious that it is not a reversible hold. sent2: the latten is grammatical and/or it is not pretentious if something is grammatical. sent3: the mother-in-law is a Klee if there is something such that it is asynchronous and it is not intramuscular. sent4: the Praetorian is aphanitic if the undercharge is not non-intramuscular. sent5: the Praetorian is not non-aphanitic. sent6: that the Praetorian is grammatical is right. sent7: there is something such that it is asynchronous. sent8: if the utricle is not a planetarium then the fauna is grammatical and it does hum shape-up. sent9: the utricle does hum accordion. sent10: if the mother-in-law straightens and it is a Klee then the undercharge is not a reversible. sent11: the Praetorian is not intramuscular if that it is grammatical is right. sent12: something is intramuscular and/or aphanitic if it is not asynchronous. sent13: if that the latten is grammatical hold it is not reversible. sent14: the fact that something is a kind of a Klee and it is asynchronous does not hold if it is not a kind of a reversible. sent15: if something that hums accordion dunks junkie then it is not a kind of a planetarium. sent16: that the mother-in-law is intramuscular is true. sent17: the utricle dunks junkie. sent18: the fact that the undercharge is a kind of pretentious a reversible is not false. sent19: that the Praetorian is not reversible is correct. sent20: if there is something such that that it is a Klee and asynchronous is not true the undercharge is not asynchronous.
sent11 & sent6 -> int1: the Praetorian is not intramuscular.; void -> assump1: Let's assume that the mother-in-law does straighten.; sent18 -> int2: the undercharge is a kind of a reversible.;
the mother-in-law does straighten.
sent12 -> int3: if the undercharge is not asynchronous then either it is intramuscular or it is aphanitic or both.; sent14 -> int4: the fact that the latten is a Klee and asynchronous is not right if it is irreversible.; sent15 -> int5: the utricle is not a planetarium if it does hum accordion and it dunks junkie.; sent9 & sent17 -> int6: the utricle does hum accordion and it dunks junkie.; int5 & int6 -> int7: the utricle is not a planetarium.; sent8 & int7 -> int8: the fauna is a kind of grammatical thing that does hum shape-up.; int8 -> int9: the fauna is grammatical.; int9 -> int10: something is grammatical.; int10 & sent2 -> int11: either the latten is grammatical or it is unpretentious or both.; sent1 -> int12: the latten is not a reversible if that it is not pretentious is not wrong.; int11 & sent13 & int12 -> int13: the latten is not reversible.; int4 & int13 -> int14: that that the latten is a Klee and it is asynchronous is wrong is correct.; int14 -> int15: there is something such that the fact that it is both a Klee and asynchronous is not true.; int15 & sent20 -> int16: the undercharge is not asynchronous.; int3 & int16 -> int17: either the undercharge is intramuscular or it is aphanitic or both.;
$hypothesis$ = the mother-in-law does not straighten. ; $context$ = sent1: if something is not pretentious that it is not a reversible hold. sent2: the latten is grammatical and/or it is not pretentious if something is grammatical. sent3: the mother-in-law is a Klee if there is something such that it is asynchronous and it is not intramuscular. sent4: the Praetorian is aphanitic if the undercharge is not non-intramuscular. sent5: the Praetorian is not non-aphanitic. sent6: that the Praetorian is grammatical is right. sent7: there is something such that it is asynchronous. sent8: if the utricle is not a planetarium then the fauna is grammatical and it does hum shape-up. sent9: the utricle does hum accordion. sent10: if the mother-in-law straightens and it is a Klee then the undercharge is not a reversible. sent11: the Praetorian is not intramuscular if that it is grammatical is right. sent12: something is intramuscular and/or aphanitic if it is not asynchronous. sent13: if that the latten is grammatical hold it is not reversible. sent14: the fact that something is a kind of a Klee and it is asynchronous does not hold if it is not a kind of a reversible. sent15: if something that hums accordion dunks junkie then it is not a kind of a planetarium. sent16: that the mother-in-law is intramuscular is true. sent17: the utricle dunks junkie. sent18: the fact that the undercharge is a kind of pretentious a reversible is not false. sent19: that the Praetorian is not reversible is correct. sent20: if there is something such that that it is a Klee and asynchronous is not true the undercharge is not asynchronous. ; $proof$ = 
sent11 & sent6 -> int1: the Praetorian is not intramuscular.; void -> assump1: Let's assume that the mother-in-law does straighten.; sent18 -> int2: the undercharge is a kind of a reversible.; __UNKNOWN__