if the Ebioniteness occurs the pyrography does not occur and the chocking radium occurs.
sent1: that the dialecticness does not occur hold. sent2: the cracking occurs. sent3: not the fleshing submediant but the chocking butterflyfish happens if the pyrography happens. sent4: that the executing occurs causes that the fleshing thermocouple does not occur and the defalcation occurs. sent5: if the Arthurianness occurs then the chocking radium happens. sent6: if the Ebioniteness does not occur and the pyrography happens then the googly occurs. sent7: the executing does not occur and the defalcation does not occur. sent8: that the fleshing thermocouple does not occur triggers that the Arthurianness but not the chocking radium occurs. sent9: if the slivering does not occur then the unfavorableness occurs. sent10: if the fleshing submediant does not occur but the chocking butterflyfish occurs the Ebioniteness does not occur.
void -> assump2: Let's assume that the pyrography happens.; sent3 & assump2 -> int1: the fleshing submediant does not occur and the chocking butterflyfish happens.; int1 & sent10 -> int2: the Ebioniteness does not occur.; void -> assump1: Let's assume that the Ebioniteness happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the pyrography does not occur.; sent7 -> int5: the defalcation does not occur.;
the googly happens.
$hypothesis$ = if the Ebioniteness occurs the pyrography does not occur and the chocking radium occurs. ; $context$ = sent1: that the dialecticness does not occur hold. sent2: the cracking occurs. sent3: not the fleshing submediant but the chocking butterflyfish happens if the pyrography happens. sent4: that the executing occurs causes that the fleshing thermocouple does not occur and the defalcation occurs. sent5: if the Arthurianness occurs then the chocking radium happens. sent6: if the Ebioniteness does not occur and the pyrography happens then the googly occurs. sent7: the executing does not occur and the defalcation does not occur. sent8: that the fleshing thermocouple does not occur triggers that the Arthurianness but not the chocking radium occurs. sent9: if the slivering does not occur then the unfavorableness occurs. sent10: if the fleshing submediant does not occur but the chocking butterflyfish occurs the Ebioniteness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the pyrography happens.; sent3 & assump2 -> int1: the fleshing submediant does not occur and the chocking butterflyfish happens.; int1 & sent10 -> int2: the Ebioniteness does not occur.; void -> assump1: Let's assume that the Ebioniteness happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the pyrography does not occur.; sent7 -> int5: the defalcation does not occur.; __UNKNOWN__