that the usance happens and the congruentness happens prevents the wheatenness.
sent1: that the wheatenness does not occur is prevented by that the usance and the congruentness happens. sent2: the contorting Lofortyx does not occur if that the usance and the wheatenness happens hold. sent3: the contorting Lofortyx and the haemophilicness happens. sent4: the congruentness occurs.
void -> assump1: Let's assume that both the usance and the congruentness occurs.; assump1 -> int1: the usance happens.; void -> assump2: Let's assume that the wheatenness happens.; int1 & assump2 -> int2: the usance happens and the wheatenness occurs.; int2 & sent2 -> int3: the contorting Lofortyx does not occur.; sent3 -> int4: the contorting Lofortyx occurs.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the wheatenness does not occur.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that the usance happens and the congruentness happens prevents the wheatenness. ; $context$ = sent1: that the wheatenness does not occur is prevented by that the usance and the congruentness happens. sent2: the contorting Lofortyx does not occur if that the usance and the wheatenness happens hold. sent3: the contorting Lofortyx and the haemophilicness happens. sent4: the congruentness occurs. ; $proof$ = 
void -> assump1: Let's assume that both the usance and the congruentness occurs.; assump1 -> int1: the usance happens.; void -> assump2: Let's assume that the wheatenness happens.; int1 & assump2 -> int2: the usance happens and the wheatenness occurs.; int2 & sent2 -> int3: the contorting Lofortyx does not occur.; sent3 -> int4: the contorting Lofortyx occurs.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the wheatenness does not occur.; [assump1] & int6 -> hypothesis; __PROVED__