the fact that the fact that not the philandering commissary but the catapulting Piaf occurs is true does not hold.
sent1: that the going does not occur is prevented by that the introversiveness does not occur. sent2: if the implicitness happens then the fact that the fact that the goingness and the non-introversiveness occurs is not wrong is not true. sent3: if the tomentoseness does not occur then the fact that both the catapulting tipper and the liaison occurs is false. sent4: the serousness does not occur. sent5: the Taoistness occurs if that the cloying happens is right. sent6: the fact that both the philandering commissary and the catapulting Piaf occurs is not right. sent7: the positiveness occurs. sent8: if the introversiveness does not occur the snicker and the goingness occurs. sent9: if the dynasticness happens then the snickering does not occur and/or the suicide does not occur. sent10: if the profiting and the suicide occurs the snicker does not occur. sent11: the clayeiness occurs. sent12: if that the incursion does not occur hold then the lineation but not the belaboring Farmer occurs. sent13: the fact that the dynasticness but not the snicker happens is wrong if the philandering Ptilocrinus happens. sent14: the fact that the philandering commissary does not occur but the catapulting Piaf happens is not right if the fact that the lineation does not occur is correct. sent15: if the philandering Ptilocrinus does not occur then the lineation does not occur. sent16: that the evacuation does not occur yields that the implicitness and the tool happens. sent17: that the tomentoseness does not occur is triggered by that the Taoist happens. sent18: if the fact that the going happens and the introversiveness does not occur is false then the philandering Ptilocrinus happens. sent19: that the belaboring Brueghel does not occur is prevented by that the besetting and the non-frictionlessness occurs. sent20: the Rastafarianness occurs. sent21: if the belaboring Brueghel occurs the evacuation does not occur. sent22: the fact that the incursion does not occur is not false if that the catapulting tipper and the liaison happens is false. sent23: if the suicide does not occur that the dynasticness does not occur and the belaboring Farmer does not occur is not true. sent24: that the introversiveness does not occur is not incorrect if the fact that the implicitness and the incursion happens is wrong. sent25: that both the implicitness and the incursion happens is not right. sent26: if the Rastafarian occurs then the profit occurs. sent27: the Moravianness does not occur.
sent26 & sent20 -> int1: the profiting happens.; void -> assump1: Let's assume that the suicide happens.; int1 & assump1 -> int2: both the profiting and the suicide occurs.; int2 & sent10 -> int3: the snickering does not occur.; sent24 & sent25 -> int4: the introversiveness does not occur.; sent8 & int4 -> int5: the snickering occurs and the going occurs.; int5 -> int6: the snickering happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the suicide does not occur.; int8 & sent23 -> int9: that the dynasticness does not occur and the belaboring Farmer does not occur is not right.;
the philandering commissary does not occur but the catapulting Piaf occurs.
$hypothesis$ = the fact that the fact that not the philandering commissary but the catapulting Piaf occurs is true does not hold. ; $context$ = sent1: that the going does not occur is prevented by that the introversiveness does not occur. sent2: if the implicitness happens then the fact that the fact that the goingness and the non-introversiveness occurs is not wrong is not true. sent3: if the tomentoseness does not occur then the fact that both the catapulting tipper and the liaison occurs is false. sent4: the serousness does not occur. sent5: the Taoistness occurs if that the cloying happens is right. sent6: the fact that both the philandering commissary and the catapulting Piaf occurs is not right. sent7: the positiveness occurs. sent8: if the introversiveness does not occur the snicker and the goingness occurs. sent9: if the dynasticness happens then the snickering does not occur and/or the suicide does not occur. sent10: if the profiting and the suicide occurs the snicker does not occur. sent11: the clayeiness occurs. sent12: if that the incursion does not occur hold then the lineation but not the belaboring Farmer occurs. sent13: the fact that the dynasticness but not the snicker happens is wrong if the philandering Ptilocrinus happens. sent14: the fact that the philandering commissary does not occur but the catapulting Piaf happens is not right if the fact that the lineation does not occur is correct. sent15: if the philandering Ptilocrinus does not occur then the lineation does not occur. sent16: that the evacuation does not occur yields that the implicitness and the tool happens. sent17: that the tomentoseness does not occur is triggered by that the Taoist happens. sent18: if the fact that the going happens and the introversiveness does not occur is false then the philandering Ptilocrinus happens. sent19: that the belaboring Brueghel does not occur is prevented by that the besetting and the non-frictionlessness occurs. sent20: the Rastafarianness occurs. sent21: if the belaboring Brueghel occurs the evacuation does not occur. sent22: the fact that the incursion does not occur is not false if that the catapulting tipper and the liaison happens is false. sent23: if the suicide does not occur that the dynasticness does not occur and the belaboring Farmer does not occur is not true. sent24: that the introversiveness does not occur is not incorrect if the fact that the implicitness and the incursion happens is wrong. sent25: that both the implicitness and the incursion happens is not right. sent26: if the Rastafarian occurs then the profit occurs. sent27: the Moravianness does not occur. ; $proof$ = 
sent26 & sent20 -> int1: the profiting happens.; void -> assump1: Let's assume that the suicide happens.; int1 & assump1 -> int2: both the profiting and the suicide occurs.; int2 & sent10 -> int3: the snickering does not occur.; sent24 & sent25 -> int4: the introversiveness does not occur.; sent8 & int4 -> int5: the snickering occurs and the going occurs.; int5 -> int6: the snickering happens.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the suicide does not occur.; int8 & sent23 -> int9: that the dynasticness does not occur and the belaboring Farmer does not occur is not right.; __UNKNOWN__