the fact that the prematureness and the bronchiolarness occurs if the interfering goad does not occur does not hold.
sent1: that the escorting Lome does not occur yields that the interfering assurance occurs. sent2: that the escorting Lome does not occur leads to that both the interfering assurance and the pedicuring happens. sent3: that the interfering goad occurs if the escorting Lome happens hold. sent4: the inoperableness occurs and the afforestation does not occur. sent5: the Jesuiticalness does not occur. sent6: the dwarfing reforestation happens. sent7: the bronchiolarness happens but the Jesuiticalness does not occur. sent8: if the uplifting Kanarese does not occur the Christianization occurs and the gastronomy happens. sent9: the prematureness occurs if the pedicuring happens. sent10: the aeromechanicsness occurs if the contrivance happens. sent11: the bronchiolarness does not occur but the Jesuiticalness happens if the dwarfing Dasyurus does not occur. sent12: the prematureness does not occur if the bronchiolarness does not occur but the Jesuiticalness happens. sent13: that not the escorting Lome but the interfering goad occurs triggers the estuarineness. sent14: the contrivance happens. sent15: the interfering assurance occurs. sent16: the hitch occurs if either the escorting Lome does not occur or the interfering goad does not occur or both. sent17: the prematureness occurs and the bronchiolarness occurs if the interfering goad occurs.
void -> assump2: Let's assume that the escorting Lome occurs.; sent3 & assump2 -> int1: the fact that the interfering goad occurs is right.; void -> assump1: Let's assume that the interfering goad does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the escorting Lome does not occur.; int3 & sent2 -> int4: the interfering assurance occurs and the pedicure occurs.; int4 -> int5: the pedicuring occurs.; int5 & sent9 -> int6: the prematureness happens.; sent7 -> int7: the bronchiolarness occurs.; int6 & int7 -> int8: the prematureness occurs and the bronchiolarness happens.; [assump1] & int8 -> hypothesis;
the hitching happens.
$hypothesis$ = the fact that the prematureness and the bronchiolarness occurs if the interfering goad does not occur does not hold. ; $context$ = sent1: that the escorting Lome does not occur yields that the interfering assurance occurs. sent2: that the escorting Lome does not occur leads to that both the interfering assurance and the pedicuring happens. sent3: that the interfering goad occurs if the escorting Lome happens hold. sent4: the inoperableness occurs and the afforestation does not occur. sent5: the Jesuiticalness does not occur. sent6: the dwarfing reforestation happens. sent7: the bronchiolarness happens but the Jesuiticalness does not occur. sent8: if the uplifting Kanarese does not occur the Christianization occurs and the gastronomy happens. sent9: the prematureness occurs if the pedicuring happens. sent10: the aeromechanicsness occurs if the contrivance happens. sent11: the bronchiolarness does not occur but the Jesuiticalness happens if the dwarfing Dasyurus does not occur. sent12: the prematureness does not occur if the bronchiolarness does not occur but the Jesuiticalness happens. sent13: that not the escorting Lome but the interfering goad occurs triggers the estuarineness. sent14: the contrivance happens. sent15: the interfering assurance occurs. sent16: the hitch occurs if either the escorting Lome does not occur or the interfering goad does not occur or both. sent17: the prematureness occurs and the bronchiolarness occurs if the interfering goad occurs. ; $proof$ = 
void -> assump2: Let's assume that the escorting Lome occurs.; sent3 & assump2 -> int1: the fact that the interfering goad occurs is right.; void -> assump1: Let's assume that the interfering goad does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the escorting Lome does not occur.; int3 & sent2 -> int4: the interfering assurance occurs and the pedicure occurs.; int4 -> int5: the pedicuring occurs.; int5 & sent9 -> int6: the prematureness happens.; sent7 -> int7: the bronchiolarness occurs.; int6 & int7 -> int8: the prematureness occurs and the bronchiolarness happens.; [assump1] & int8 -> hypothesis; __DISPROVED__