the batman bows gusset.
sent1: the fact that something is a kind of a millerite that is not a phonograph does not hold if it is open-hearth. sent2: if something is not a millerite it does not criticize autosuggestion. sent3: if the batman is a kind of a phonograph then that it does persist and it is a kind of a Segway is incorrect. sent4: that the batman persists hold. sent5: something is a horsehair that is not a Segway if it is a millerite. sent6: if that something is a Eustoma that does not magnetize doweling does not hold then it does not bow gusset. sent7: the batman is not a millerite. sent8: the batman is a Eustoma. sent9: the batman does not persist if it bows gusset and it is not a Eustoma. sent10: if the batman is a Eustoma and does not magnetize doweling it is not a Segway. sent11: the spacewalker is open-hearth if it does not persist and does criticize autosuggestion. sent12: if the batman is not a Segway then the spacewalker is a millerite and is not a phonograph. sent13: the spacewalker does not persist but it criticizes autosuggestion. sent14: the fact that something does not bow gusset is not wrong if it is not a Eustoma. sent15: the spacewalker is a millerite. sent16: the fact that something is thalamocortical but it is not bicapsular is not right if it is Pakistani. sent17: if the spacewalker does persist and criticizes autosuggestion then it is open-hearth. sent18: the spacewalker is not a Eustoma. sent19: if the spacewalker does not bow gusset and is a kind of a Segway it is a phonograph.
void -> assump1: Let's assume that the batman is a Eustoma and does not magnetize doweling.; sent10 & assump1 -> int1: the batman is not a Segway.; int1 & sent12 -> int2: the spacewalker is a millerite but it is not a phonograph.; sent1 -> int3: if the spacewalker is not non-open-hearth the fact that it is a kind of a millerite that is not a kind of a phonograph is not correct.; sent11 & sent13 -> int4: the spacewalker is open-hearth.; int3 & int4 -> int5: that the spacewalker is a millerite but not a phonograph is not correct.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the batman is a Eustoma but it does not magnetize doweling is false.; sent6 -> int8: if that the batman is a Eustoma but it does not magnetize doweling is wrong it does not bow gusset.; int7 & int8 -> hypothesis;
the Arizonan is a kind of a horsehair but it is not a Segway.
sent5 -> int9: the Arizonan is both a horsehair and not a Segway if it is a millerite.;
$hypothesis$ = the batman bows gusset. ; $context$ = sent1: the fact that something is a kind of a millerite that is not a phonograph does not hold if it is open-hearth. sent2: if something is not a millerite it does not criticize autosuggestion. sent3: if the batman is a kind of a phonograph then that it does persist and it is a kind of a Segway is incorrect. sent4: that the batman persists hold. sent5: something is a horsehair that is not a Segway if it is a millerite. sent6: if that something is a Eustoma that does not magnetize doweling does not hold then it does not bow gusset. sent7: the batman is not a millerite. sent8: the batman is a Eustoma. sent9: the batman does not persist if it bows gusset and it is not a Eustoma. sent10: if the batman is a Eustoma and does not magnetize doweling it is not a Segway. sent11: the spacewalker is open-hearth if it does not persist and does criticize autosuggestion. sent12: if the batman is not a Segway then the spacewalker is a millerite and is not a phonograph. sent13: the spacewalker does not persist but it criticizes autosuggestion. sent14: the fact that something does not bow gusset is not wrong if it is not a Eustoma. sent15: the spacewalker is a millerite. sent16: the fact that something is thalamocortical but it is not bicapsular is not right if it is Pakistani. sent17: if the spacewalker does persist and criticizes autosuggestion then it is open-hearth. sent18: the spacewalker is not a Eustoma. sent19: if the spacewalker does not bow gusset and is a kind of a Segway it is a phonograph. ; $proof$ = 
void -> assump1: Let's assume that the batman is a Eustoma and does not magnetize doweling.; sent10 & assump1 -> int1: the batman is not a Segway.; int1 & sent12 -> int2: the spacewalker is a millerite but it is not a phonograph.; sent1 -> int3: if the spacewalker is not non-open-hearth the fact that it is a kind of a millerite that is not a kind of a phonograph is not correct.; sent11 & sent13 -> int4: the spacewalker is open-hearth.; int3 & int4 -> int5: that the spacewalker is a millerite but not a phonograph is not correct.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the batman is a Eustoma but it does not magnetize doweling is false.; sent6 -> int8: if that the batman is a Eustoma but it does not magnetize doweling is wrong it does not bow gusset.; int7 & int8 -> hypothesis; __DISPROVED__