there exists something such that if it is a shaven it is a Farmington and it is not traceable.
sent1: if the disputant is not osteal the chick does deposit puck and is a eardrop. sent2: there is something such that if it is a nogging then it deposits ecliptic. sent3: the chick is a Farmington. sent4: if the fact that something is not a crosspiece and it is not a shaven does not hold it whales. sent5: the pinstripe does not deposit depressive and does not deposit self-disciplined. sent6: that something is not a kind of a crosspiece and it is not a kind of a shaven does not hold if it trundles isoagglutination. sent7: the chick is not a Bremen if it does deposit depressive and it is not a Farmington. sent8: there exists something such that if it is a diencephalon then it does stagger and it is full-term. sent9: if something deposits puck then it does trundle isoagglutination. sent10: if the chick shaves it is a kind of a Farmington and it is traceable. sent11: if the pinstripe does not deposit depressive and does not deposit self-disciplined the disputant is not osteal. sent12: the chick is traceable.
void -> assump1: Let's assume that the fact that the chick is a kind of a Farmington that is not traceable is not true.;
the depressive is a kind of a harebell and is not unalert.
sent4 -> int1: the fact that the chick is a whale is not wrong if that that it is not a kind of a crosspiece and is not a kind of a shaven is not false is not true.; sent6 -> int2: the fact that the chick is both not a crosspiece and not a shaven is not correct if it does trundle isoagglutination.; sent9 -> int3: if the fact that the chick deposits puck is not wrong it trundles isoagglutination.; sent11 & sent5 -> int4: the disputant is not osteal.; sent1 & int4 -> int5: the chick does deposit puck and it is a kind of a eardrop.; int5 -> int6: the chick deposits puck.; int3 & int6 -> int7: the chick does trundle isoagglutination.; int2 & int7 -> int8: that the chick is not a crosspiece and not a shaven does not hold.; int1 & int8 -> int9: the chick is a whale.; int9 -> int10: there exists something such that it is a whale.;
$hypothesis$ = there exists something such that if it is a shaven it is a Farmington and it is not traceable. ; $context$ = sent1: if the disputant is not osteal the chick does deposit puck and is a eardrop. sent2: there is something such that if it is a nogging then it deposits ecliptic. sent3: the chick is a Farmington. sent4: if the fact that something is not a crosspiece and it is not a shaven does not hold it whales. sent5: the pinstripe does not deposit depressive and does not deposit self-disciplined. sent6: that something is not a kind of a crosspiece and it is not a kind of a shaven does not hold if it trundles isoagglutination. sent7: the chick is not a Bremen if it does deposit depressive and it is not a Farmington. sent8: there exists something such that if it is a diencephalon then it does stagger and it is full-term. sent9: if something deposits puck then it does trundle isoagglutination. sent10: if the chick shaves it is a kind of a Farmington and it is traceable. sent11: if the pinstripe does not deposit depressive and does not deposit self-disciplined the disputant is not osteal. sent12: the chick is traceable. ; $proof$ = 
void -> assump1: Let's assume that the fact that the chick is a kind of a Farmington that is not traceable is not true.; __UNKNOWN__