the exhibitor is synovial.
sent1: that the exhibitor is synovial hold if the spiral is non-top. sent2: if the wheatfield is a kind of non-Piagetian thing that is a kind of a Ukrainian the spiral does not top. sent3: the suspect is not expiatory if the stereo does not cathect cavalryman and is a kind of a braced. sent4: if the fact that that something is non-Piagetian a Ukrainian hold is incorrect it is not nonsignificant. sent5: the casquet is not significant if the spiral does not cathect casquet and does top. sent6: something is not a pawnbroker if it is not a kind of a neutral. sent7: that the casquet does not cathect casquet and does not panel is not true if it is non-expiatory. sent8: the fact that the cork does not waive is true. sent9: the casquet is not expiatory.
sent4 -> int1: if the fact that the wheatfield is not Piagetian and is a Ukrainian is not true then it is not nonsignificant.; void -> assump1: Let's assume that that the wheatfield is non-Piagetian thing that is a kind of a Ukrainian is not right.; int1 & assump1 -> int2: the wheatfield is not nonsignificant.; int2 -> int3: there exists something such that it is not nonsignificant.; sent7 & sent9 -> int4: the fact that the casquet does not cathect casquet and it is not a kind of a panel is not right.;
the exhibitor is not synovial.
sent8 -> int5: there exists something such that it does not waive.;
$hypothesis$ = the exhibitor is synovial. ; $context$ = sent1: that the exhibitor is synovial hold if the spiral is non-top. sent2: if the wheatfield is a kind of non-Piagetian thing that is a kind of a Ukrainian the spiral does not top. sent3: the suspect is not expiatory if the stereo does not cathect cavalryman and is a kind of a braced. sent4: if the fact that that something is non-Piagetian a Ukrainian hold is incorrect it is not nonsignificant. sent5: the casquet is not significant if the spiral does not cathect casquet and does top. sent6: something is not a pawnbroker if it is not a kind of a neutral. sent7: that the casquet does not cathect casquet and does not panel is not true if it is non-expiatory. sent8: the fact that the cork does not waive is true. sent9: the casquet is not expiatory. ; $proof$ = 
sent4 -> int1: if the fact that the wheatfield is not Piagetian and is a Ukrainian is not true then it is not nonsignificant.; void -> assump1: Let's assume that that the wheatfield is non-Piagetian thing that is a kind of a Ukrainian is not right.; int1 & assump1 -> int2: the wheatfield is not nonsignificant.; int2 -> int3: there exists something such that it is not nonsignificant.; sent7 & sent9 -> int4: the fact that the casquet does not cathect casquet and it is not a kind of a panel is not right.; __UNKNOWN__