the weaving ATF does not occur and the reciprocal does not occur.
sent1: the wrath prevents the unchangeableness. sent2: the granuliferousness happens. sent3: not the cozening touchback but the refusal happens. sent4: the Ottomanness happens but the unchangeableness does not occur if the wrath occurs. sent5: the middle-classness does not occur. sent6: if the nonadsorbentness does not occur the fact that the reproduction occurs but the secession does not occur is not right. sent7: the toe-in does not occur if the fact that the rearing visit occurs is not true. sent8: the non-reciprocalness and the rearing Stieglitz occurs if the catachresticness happens. sent9: both the butting winning and the assortment happens. sent10: if the catachresticness occurs then the rearing Stieglitz happens. sent11: the fact that both the Ottoman and the unchangeableness happens is not right. sent12: the vestibularness does not occur. sent13: if the weaving segue does not occur then that the Ottomanness occurs and the unchangeableness does not occur is not true. sent14: the unchangeableness does not occur. sent15: the fact that the intemperance occurs but the reprieve does not occur is not true. sent16: the catachresticness occurs. sent17: that the assortment occurs but the Oblation does not occur prevents the weaving ATF. sent18: that the Ottoman occurs and the unchangeableness happens does not hold if the weaving segue does not occur. sent19: the Oblation does not occur if the wrath does not occur. sent20: the butting winning occurs. sent21: the butting haustorium does not occur. sent22: the rearing Stieglitz occurs.
void -> assump1: Let's assume that that the wrath occurs is right.; sent4 & assump1 -> int1: the Ottoman happens but the unchangeableness does not occur.; sent9 -> int2: the assortment occurs.; sent8 & sent16 -> int3: the reciprocal does not occur but the rearing Stieglitz occurs.; int3 -> int4: that the reciprocal does not occur is not wrong.;
the fact that the weaving ATF does not occur and the reciprocalness does not occur is not right.
 -> hypothesis;
$hypothesis$ = the weaving ATF does not occur and the reciprocal does not occur. ; $context$ = sent1: the wrath prevents the unchangeableness. sent2: the granuliferousness happens. sent3: not the cozening touchback but the refusal happens. sent4: the Ottomanness happens but the unchangeableness does not occur if the wrath occurs. sent5: the middle-classness does not occur. sent6: if the nonadsorbentness does not occur the fact that the reproduction occurs but the secession does not occur is not right. sent7: the toe-in does not occur if the fact that the rearing visit occurs is not true. sent8: the non-reciprocalness and the rearing Stieglitz occurs if the catachresticness happens. sent9: both the butting winning and the assortment happens. sent10: if the catachresticness occurs then the rearing Stieglitz happens. sent11: the fact that both the Ottoman and the unchangeableness happens is not right. sent12: the vestibularness does not occur. sent13: if the weaving segue does not occur then that the Ottomanness occurs and the unchangeableness does not occur is not true. sent14: the unchangeableness does not occur. sent15: the fact that the intemperance occurs but the reprieve does not occur is not true. sent16: the catachresticness occurs. sent17: that the assortment occurs but the Oblation does not occur prevents the weaving ATF. sent18: that the Ottoman occurs and the unchangeableness happens does not hold if the weaving segue does not occur. sent19: the Oblation does not occur if the wrath does not occur. sent20: the butting winning occurs. sent21: the butting haustorium does not occur. sent22: the rearing Stieglitz occurs. ; $proof$ = 
void -> assump1: Let's assume that that the wrath occurs is right.; sent4 & assump1 -> int1: the Ottoman happens but the unchangeableness does not occur.; sent9 -> int2: the assortment occurs.; sent8 & sent16 -> int3: the reciprocal does not occur but the rearing Stieglitz occurs.; int3 -> int4: that the reciprocal does not occur is not wrong.; __UNKNOWN__