the fact that the estrone either is a forehand or is not geophysical or both does not hold.
sent1: the PIN is not optional. sent2: if the joystick is not republican it does not align. sent3: if that something is both not a Comanche and republican is not right then it does not align. sent4: something does not inflate stableman. sent5: something does not align if it is not a kind of a republican. sent6: if the PIN is a purification then the fissiparity is turbinate. sent7: if there exists something such that it is not a kind of a dorsiflexion that the joystick is not a Comanche but it is republican is not right. sent8: if something is not optional and it is not a Malay then it is a jackknife-fish. sent9: if the phial is a jackknife-fish the PIN is a kind of a purification. sent10: if the joystick does not align the phial is not optional and not Malay. sent11: if something is a kind of a turbinate it is a kind of a forehand. sent12: either the estrone is forehand or it is not geophysical or both if the joystick is a dorsiflexion. sent13: there exists something such that it is not a dorsiflexion.
sent13 & sent7 -> int1: that the joystick is not a Comanche but it is a kind of a republican is not correct.; sent3 -> int2: the joystick does not align if the fact that it is not a Comanche and is a kind of a republican is not true.; int1 & int2 -> int3: that the joystick does not align is right.; int3 & sent10 -> int4: the phial is not optional and it is not a Malay.; sent8 -> int5: the fact that the phial is a jackknife-fish is not false if it is not optional and it is not a Malay.; int4 & int5 -> int6: the phial is a jackknife-fish.; int6 & sent9 -> int7: the PIN is a kind of a purification.; int7 & sent6 -> int8: the fissiparity is a turbinate.; sent11 -> int9: the fissiparity is a kind of a forehand if it is turbinate.; int8 & int9 -> int10: the fact that the fissiparity is a forehand is right.;
the estrone is a kind of a forehand and/or it is not geophysical.
sent1 -> int11: there exists something such that it is non-optional.;
$hypothesis$ = the fact that the estrone either is a forehand or is not geophysical or both does not hold. ; $context$ = sent1: the PIN is not optional. sent2: if the joystick is not republican it does not align. sent3: if that something is both not a Comanche and republican is not right then it does not align. sent4: something does not inflate stableman. sent5: something does not align if it is not a kind of a republican. sent6: if the PIN is a purification then the fissiparity is turbinate. sent7: if there exists something such that it is not a kind of a dorsiflexion that the joystick is not a Comanche but it is republican is not right. sent8: if something is not optional and it is not a Malay then it is a jackknife-fish. sent9: if the phial is a jackknife-fish the PIN is a kind of a purification. sent10: if the joystick does not align the phial is not optional and not Malay. sent11: if something is a kind of a turbinate it is a kind of a forehand. sent12: either the estrone is forehand or it is not geophysical or both if the joystick is a dorsiflexion. sent13: there exists something such that it is not a dorsiflexion. ; $proof$ = 
sent13 & sent7 -> int1: that the joystick is not a Comanche but it is a kind of a republican is not correct.; sent3 -> int2: the joystick does not align if the fact that it is not a Comanche and is a kind of a republican is not true.; int1 & int2 -> int3: that the joystick does not align is right.; int3 & sent10 -> int4: the phial is not optional and it is not a Malay.; sent8 -> int5: the fact that the phial is a jackknife-fish is not false if it is not optional and it is not a Malay.; int4 & int5 -> int6: the phial is a jackknife-fish.; int6 & sent9 -> int7: the PIN is a kind of a purification.; int7 & sent6 -> int8: the fissiparity is a turbinate.; sent11 -> int9: the fissiparity is a kind of a forehand if it is turbinate.; int8 & int9 -> int10: the fact that the fissiparity is a forehand is right.; __UNKNOWN__