the spoofing title does not occur.
sent1: the pulsing does not occur. sent2: if the pulse does not occur and the participialness does not occur then the inlandness happens. sent3: the pulverization happens if the idleness occurs. sent4: the Homer but not the idleness happens. sent5: if the fact that the pulsing does not occur and the participialness does not occur is false the nonaddictiveness does not occur. sent6: the pulverization and the postwarness occurs. sent7: the nonaddictiveness occurs if the Homer but not the idleness happens. sent8: if the inlandness happens the fossilizing occurs. sent9: the litigation does not occur if both the campanulateness and the spoofing perversity happens.
void -> assump1: Let's assume that that that the pulsing does not occur and the participialness does not occur is correct is not true.; sent5 & assump1 -> int1: the nonaddictiveness does not occur.; sent7 & sent4 -> int2: the nonaddictiveness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pulse does not occur and the participialness does not occur.; int4 & sent2 -> int5: the inlandness occurs.; int5 & sent8 -> int6: the fossilizing occurs.; sent6 -> int7: the postwarness happens.; int6 & int7 -> int8: both the postwarness and the fossilizing occurs.;
the spoofing title happens.
$hypothesis$ = the spoofing title does not occur. ; $context$ = sent1: the pulsing does not occur. sent2: if the pulse does not occur and the participialness does not occur then the inlandness happens. sent3: the pulverization happens if the idleness occurs. sent4: the Homer but not the idleness happens. sent5: if the fact that the pulsing does not occur and the participialness does not occur is false the nonaddictiveness does not occur. sent6: the pulverization and the postwarness occurs. sent7: the nonaddictiveness occurs if the Homer but not the idleness happens. sent8: if the inlandness happens the fossilizing occurs. sent9: the litigation does not occur if both the campanulateness and the spoofing perversity happens. ; $proof$ = 
void -> assump1: Let's assume that that that the pulsing does not occur and the participialness does not occur is correct is not true.; sent5 & assump1 -> int1: the nonaddictiveness does not occur.; sent7 & sent4 -> int2: the nonaddictiveness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pulse does not occur and the participialness does not occur.; int4 & sent2 -> int5: the inlandness occurs.; int5 & sent8 -> int6: the fossilizing occurs.; sent6 -> int7: the postwarness happens.; int6 & int7 -> int8: both the postwarness and the fossilizing occurs.; __UNKNOWN__