the fact that the adjunct is not an irrational if the syconium is four-wheel does not hold.
sent1: the adjunct is not an irrational if the fact that it is a Uzbek and/or is not odd is not correct. sent2: the syconium is not four-wheel if the adjunct is a Uzbek or it is not odd or both.
void -> assump1: Let's assume that the adjunct is a Uzbek and/or is not odd.; sent2 & assump1 -> int1: that the syconium is not four-wheel is right.; void -> assump2: Let's assume that the syconium is four-wheel.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the adjunct is either a Uzbek or not odd or both does not hold.; int3 & sent1 -> int4: that the adjunct is not irrational is correct.; [assump2] & int4 -> hypothesis;
$hypothesis$ = the fact that the adjunct is not an irrational if the syconium is four-wheel does not hold. ; $context$ = sent1: the adjunct is not an irrational if the fact that it is a Uzbek and/or is not odd is not correct. sent2: the syconium is not four-wheel if the adjunct is a Uzbek or it is not odd or both. ; $proof$ = 
void -> assump1: Let's assume that the adjunct is a Uzbek and/or is not odd.; sent2 & assump1 -> int1: that the syconium is not four-wheel is right.; void -> assump2: Let's assume that the syconium is four-wheel.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the adjunct is either a Uzbek or not odd or both does not hold.; int3 & sent1 -> int4: that the adjunct is not irrational is correct.; [assump2] & int4 -> hypothesis; __DISPROVED__