the fact that the principalship triggers the syllogizing anthem is not true.
sent1: the excuse happens. sent2: that the remonstrating Irishwoman does not occur is prevented by the grapelikeness. sent3: the measuring connotation occurs. sent4: the curling is prevented by that the measuring Pelagianism does not occur and the grapelikeness does not occur. sent5: if the resignation does not occur then the theming trepang happens. sent6: the syllogizing fluke does not occur. sent7: the theophany does not occur. sent8: that the stab occurs hold if the effectiveness happens. sent9: the roping occurs. sent10: the Nordicness does not occur. sent11: the stabbing happens. sent12: if the troubling does not occur then the asynergicness occurs and the smearing occurs. sent13: if the fact that that the trustfulness does not occur and the principalship does not occur is not right is correct the ramification does not occur. sent14: that the remonstrating medic happens and the curling occurs is brought about by that the grooving does not occur. sent15: that the mastery occurs leads to that the measuring kolkhoz happens. sent16: the Hinduness does not occur if that the arthroplasty does not occur and the syllogizing velar does not occur does not hold. sent17: the measuring backpacker happens. sent18: the affairs and the apoplecticness happens. sent19: if the ramification does not occur both the programing and the syllogizing anthem occurs.
void -> assump1: Let's assume that the principalship occurs.; void -> assump2: Let's assume that the trustfulness does not occur and the principalship does not occur.; assump2 -> int1: the principalship does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the trustfulness does not occur and the principalship does not occur is false.; sent13 & int3 -> int4: the ramification does not occur.; sent19 & int4 -> int5: the programing happens and the syllogizing anthem occurs.; int5 -> int6: the fact that the syllogizing anthem happens is not false.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that the principalship triggers the syllogizing anthem is not true. ; $context$ = sent1: the excuse happens. sent2: that the remonstrating Irishwoman does not occur is prevented by the grapelikeness. sent3: the measuring connotation occurs. sent4: the curling is prevented by that the measuring Pelagianism does not occur and the grapelikeness does not occur. sent5: if the resignation does not occur then the theming trepang happens. sent6: the syllogizing fluke does not occur. sent7: the theophany does not occur. sent8: that the stab occurs hold if the effectiveness happens. sent9: the roping occurs. sent10: the Nordicness does not occur. sent11: the stabbing happens. sent12: if the troubling does not occur then the asynergicness occurs and the smearing occurs. sent13: if the fact that that the trustfulness does not occur and the principalship does not occur is not right is correct the ramification does not occur. sent14: that the remonstrating medic happens and the curling occurs is brought about by that the grooving does not occur. sent15: that the mastery occurs leads to that the measuring kolkhoz happens. sent16: the Hinduness does not occur if that the arthroplasty does not occur and the syllogizing velar does not occur does not hold. sent17: the measuring backpacker happens. sent18: the affairs and the apoplecticness happens. sent19: if the ramification does not occur both the programing and the syllogizing anthem occurs. ; $proof$ = 
void -> assump1: Let's assume that the principalship occurs.; void -> assump2: Let's assume that the trustfulness does not occur and the principalship does not occur.; assump2 -> int1: the principalship does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the trustfulness does not occur and the principalship does not occur is false.; sent13 & int3 -> int4: the ramification does not occur.; sent19 & int4 -> int5: the programing happens and the syllogizing anthem occurs.; int5 -> int6: the fact that the syllogizing anthem happens is not false.; [assump1] & int6 -> hypothesis; __DISPROVED__