if the fool is a levator then the winner is a tensimeter.
sent1: if that the flatbread is a fathead but it is not Aristotelian does not hold it is not a fathead. sent2: the subdivider does not scoff arctangent if the inpatient is not a Hall and not finite. sent3: something does exalt reexamination if it is obvious and it is not schismatic. sent4: if there exists something such that it is not a fathead the subdivider is not obvious and is not schismatic. sent5: there exists something such that that it is not a Hall and it is finite does not hold. sent6: there is something such that it is a kind of a fathead. sent7: if there is something such that the fact that it is not a Hall and is not finite is not true then the fool is not a levator. sent8: the fact that the flatbread is a fathead but it is not a Aristotelian is false. sent9: the subdivider does exalt reexamination if it is obvious and it is not schismatic. sent10: if something is not obvious but it is schismatic then it exalts reexamination. sent11: the fact that the inpatient is a kind of a Hall but it is infinite is wrong. sent12: that the inpatient is not a Hall hold. sent13: if something is not obvious and is not schismatic then it does exalt reexamination. sent14: the subdivider does not scoff arctangent if the inpatient is a Hall but it is not finite.
void -> assump1: Let's assume that the fact that the inpatient is not a kind of a Hall and it is not finite is not right.; assump1 -> int1: there is something such that that it is not a Hall and not finite does not hold.; int1 & sent7 -> int2: the fool is not a kind of a levator.; void -> assump2: Let's assume that the fool is a levator.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the inpatient is not a Hall and it is not finite.; int4 & sent2 -> int5: that the subdivider does not scoff arctangent is not incorrect.; sent13 -> int6: the subdivider does exalt reexamination if it is not obvious and it is not schismatic.; sent1 & sent8 -> int7: the flatbread is not a fathead.; int7 -> int8: there exists something such that it is not a kind of a fathead.; int8 & sent4 -> int9: the subdivider is not obvious and it is not schismatic.; int6 & int9 -> int10: the subdivider does exalt reexamination.; int5 & int10 -> int11: the subdivider does not scoff arctangent but it does exalt reexamination.;
$hypothesis$ = if the fool is a levator then the winner is a tensimeter. ; $context$ = sent1: if that the flatbread is a fathead but it is not Aristotelian does not hold it is not a fathead. sent2: the subdivider does not scoff arctangent if the inpatient is not a Hall and not finite. sent3: something does exalt reexamination if it is obvious and it is not schismatic. sent4: if there exists something such that it is not a fathead the subdivider is not obvious and is not schismatic. sent5: there exists something such that that it is not a Hall and it is finite does not hold. sent6: there is something such that it is a kind of a fathead. sent7: if there is something such that the fact that it is not a Hall and is not finite is not true then the fool is not a levator. sent8: the fact that the flatbread is a fathead but it is not a Aristotelian is false. sent9: the subdivider does exalt reexamination if it is obvious and it is not schismatic. sent10: if something is not obvious but it is schismatic then it exalts reexamination. sent11: the fact that the inpatient is a kind of a Hall but it is infinite is wrong. sent12: that the inpatient is not a Hall hold. sent13: if something is not obvious and is not schismatic then it does exalt reexamination. sent14: the subdivider does not scoff arctangent if the inpatient is a Hall but it is not finite. ; $proof$ = 
void -> assump1: Let's assume that the fact that the inpatient is not a kind of a Hall and it is not finite is not right.; assump1 -> int1: there is something such that that it is not a Hall and not finite does not hold.; int1 & sent7 -> int2: the fool is not a kind of a levator.; void -> assump2: Let's assume that the fool is a levator.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the inpatient is not a Hall and it is not finite.; int4 & sent2 -> int5: that the subdivider does not scoff arctangent is not incorrect.; sent13 -> int6: the subdivider does exalt reexamination if it is not obvious and it is not schismatic.; sent1 & sent8 -> int7: the flatbread is not a fathead.; int7 -> int8: there exists something such that it is not a kind of a fathead.; int8 & sent4 -> int9: the subdivider is not obvious and it is not schismatic.; int6 & int9 -> int10: the subdivider does exalt reexamination.; int5 & int10 -> int11: the subdivider does not scoff arctangent but it does exalt reexamination.; __UNKNOWN__