the object is not a obloquy.
sent1: that the object is a kind of a jotter that is a kind of a obloquy is not right if there is something such that the fact that it is hairless is correct. sent2: something is not variolar if it is burrlike. sent3: the object is avionic. sent4: if that something is a jotter and is a obloquy does not hold then it is not a jotter. sent5: something gathers cedar and is not burrlike if it is non-Mongolian. sent6: if the object is a obloquy then it is not hairless. sent7: if something is not variolar then it is not avionic. sent8: the double-prop is Mongolian but it does not gather cedar if the earthstar is an alienation. sent9: if the double-prop is a Mongolian but it does not gather cedar it is burrlike. sent10: the double-prop is not hairless and it is not avionic if the earthstar is not variolar. sent11: if something teaches and does not hold it is an alienation. sent12: the earthstar does teach and is not a hold. sent13: the fact that something is hairless if it is not avionic is true.
void -> assump1: Let's assume that the object is a kind of a obloquy.; sent6 & assump1 -> int1: the object is not hairless.;
the object is not a jotter.
sent4 -> int2: the object is not a jotter if the fact that it is a jotter and it is a obloquy does not hold.; sent13 -> int3: the double-prop is hairless if it is not avionic.; sent7 -> int4: the double-prop is not avionic if it is not variolar.; sent2 -> int5: the double-prop is not variolar if it is burrlike.; sent11 -> int6: if the earthstar teaches but it is not a kind of a hold it is an alienation.; int6 & sent12 -> int7: the earthstar is an alienation.; sent8 & int7 -> int8: the double-prop is a kind of Mongolian thing that does not gather cedar.; sent9 & int8 -> int9: the double-prop is burrlike.; int5 & int9 -> int10: the double-prop is not variolar.; int4 & int10 -> int11: the double-prop is not avionic.; int3 & int11 -> int12: the fact that the double-prop is hairless hold.; int12 -> int13: there is something such that it is hairless.; int13 & sent1 -> int14: that the object is a jotter and is a kind of a obloquy is incorrect.; int2 & int14 -> hypothesis;
$hypothesis$ = the object is not a obloquy. ; $context$ = sent1: that the object is a kind of a jotter that is a kind of a obloquy is not right if there is something such that the fact that it is hairless is correct. sent2: something is not variolar if it is burrlike. sent3: the object is avionic. sent4: if that something is a jotter and is a obloquy does not hold then it is not a jotter. sent5: something gathers cedar and is not burrlike if it is non-Mongolian. sent6: if the object is a obloquy then it is not hairless. sent7: if something is not variolar then it is not avionic. sent8: the double-prop is Mongolian but it does not gather cedar if the earthstar is an alienation. sent9: if the double-prop is a Mongolian but it does not gather cedar it is burrlike. sent10: the double-prop is not hairless and it is not avionic if the earthstar is not variolar. sent11: if something teaches and does not hold it is an alienation. sent12: the earthstar does teach and is not a hold. sent13: the fact that something is hairless if it is not avionic is true. ; $proof$ = 
void -> assump1: Let's assume that the object is a kind of a obloquy.; sent6 & assump1 -> int1: the object is not hairless.; __UNKNOWN__