the coachbuilder is not supportive.
sent1: if the onionskin does not squinch mezuzah then that the hoof is not a thunk but it does squinch mezuzah does not hold. sent2: something is both unselfish and upper-class. sent3: there exists something such that it does not squinch coachbuilder. sent4: there exists something such that it is ovoviviparous and it does squinch coachbuilder. sent5: if the hoof is a tall then it is ovoviviparous. sent6: the hoof does not squinch coachbuilder. sent7: there exists something such that it is unselfish. sent8: The coachbuilder does not squinch hoof. sent9: the fact that the onionskin is a thunk but it is not tall is not true. sent10: the hoof is a tall if it does squinch mezuzah. sent11: that the hoof is not a thunk and it does not squinch mezuzah does not hold if the onionskin does not squinch mezuzah. sent12: if there is something such that it is unselfish and upper-class the onionskin does not squinch mezuzah. sent13: the Titan does not squinch coachbuilder. sent14: if something squinches mezuzah then it is tall. sent15: if the fact that something is not a kind of a thunk and it does not squinch mezuzah is not right then it is a tall. sent16: if something is unselfish and upper-class it does not squinch mezuzah. sent17: there is something such that it is ovoviviparous.
sent2 & sent12 -> int1: the onionskin does not squinch mezuzah.; int1 & sent11 -> int2: that the hoof is not a thunk and does not squinch mezuzah does not hold.; sent15 -> int3: the hoof is tall if that it is not a thunk and does not squinch mezuzah is not correct.; int2 & int3 -> int4: that the hoof is tall hold.; int4 & sent5 -> int5: the hoof is ovoviviparous.; int5 & sent6 -> int6: the hoof is ovoviviparous but it does not squinch coachbuilder.; int6 -> int7: there is something such that it is ovoviviparous thing that does not squinch coachbuilder.;
that the Titan does squinch mezuzah is incorrect.
sent16 -> int8: if the Titan is unselfish thing that is upper-class it does not squinch mezuzah.; sent9 -> int9: there is something such that the fact that it is a thunk and is not a tall is wrong.;
$hypothesis$ = the coachbuilder is not supportive. ; $context$ = sent1: if the onionskin does not squinch mezuzah then that the hoof is not a thunk but it does squinch mezuzah does not hold. sent2: something is both unselfish and upper-class. sent3: there exists something such that it does not squinch coachbuilder. sent4: there exists something such that it is ovoviviparous and it does squinch coachbuilder. sent5: if the hoof is a tall then it is ovoviviparous. sent6: the hoof does not squinch coachbuilder. sent7: there exists something such that it is unselfish. sent8: The coachbuilder does not squinch hoof. sent9: the fact that the onionskin is a thunk but it is not tall is not true. sent10: the hoof is a tall if it does squinch mezuzah. sent11: that the hoof is not a thunk and it does not squinch mezuzah does not hold if the onionskin does not squinch mezuzah. sent12: if there is something such that it is unselfish and upper-class the onionskin does not squinch mezuzah. sent13: the Titan does not squinch coachbuilder. sent14: if something squinches mezuzah then it is tall. sent15: if the fact that something is not a kind of a thunk and it does not squinch mezuzah is not right then it is a tall. sent16: if something is unselfish and upper-class it does not squinch mezuzah. sent17: there is something such that it is ovoviviparous. ; $proof$ = 
sent2 & sent12 -> int1: the onionskin does not squinch mezuzah.; int1 & sent11 -> int2: that the hoof is not a thunk and does not squinch mezuzah does not hold.; sent15 -> int3: the hoof is tall if that it is not a thunk and does not squinch mezuzah is not correct.; int2 & int3 -> int4: that the hoof is tall hold.; int4 & sent5 -> int5: the hoof is ovoviviparous.; int5 & sent6 -> int6: the hoof is ovoviviparous but it does not squinch coachbuilder.; int6 -> int7: there is something such that it is ovoviviparous thing that does not squinch coachbuilder.; __UNKNOWN__