that the abaca is intemperate if the stretch is not non-interfacial is not true.
sent1: that the E is non-Genoese thing that does overbear harpulla is false if the zigadene is not a resale. sent2: that the E is Genoese and it overbears harpulla is wrong if the zigadene is not a resale. sent3: the stretch is airworthy. sent4: if the stretch is intemperate then the isogamy is intemperate. sent5: the zigadene is not a kind of a resale if that the stretch is a kind of non-interfacial thing that is not airworthy does not hold. sent6: if the stretch overbears incisure then the abaca is interfacial. sent7: something that overbears incisure is intemperate. sent8: the abaca overbears incisure if that that the E is not a Genoese but it overbears harpulla is right is not right.
void -> assump2: Let's assume that the stretch is not interfacial and it is not airworthy.; assump2 -> int1: the fact that the stretch is not interfacial is correct.; void -> assump1: Let's assume that the stretch is interfacial.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the stretch is not interfacial and it is not airworthy does not hold.; int3 & sent5 -> int4: the zigadene is not a resale.; int4 & sent1 -> int5: that the E is not a Genoese and does overbear harpulla is false.; int5 & sent8 -> int6: the abaca overbears incisure.; sent7 -> int7: if the abaca overbears incisure then it is intemperate.; int6 & int7 -> int8: the abaca is intemperate.; [assump1] & int8 -> hypothesis;
the fact that the isogamy is intemperate is not wrong.
$hypothesis$ = that the abaca is intemperate if the stretch is not non-interfacial is not true. ; $context$ = sent1: that the E is non-Genoese thing that does overbear harpulla is false if the zigadene is not a resale. sent2: that the E is Genoese and it overbears harpulla is wrong if the zigadene is not a resale. sent3: the stretch is airworthy. sent4: if the stretch is intemperate then the isogamy is intemperate. sent5: the zigadene is not a kind of a resale if that the stretch is a kind of non-interfacial thing that is not airworthy does not hold. sent6: if the stretch overbears incisure then the abaca is interfacial. sent7: something that overbears incisure is intemperate. sent8: the abaca overbears incisure if that that the E is not a Genoese but it overbears harpulla is right is not right. ; $proof$ = 
void -> assump2: Let's assume that the stretch is not interfacial and it is not airworthy.; assump2 -> int1: the fact that the stretch is not interfacial is correct.; void -> assump1: Let's assume that the stretch is interfacial.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the stretch is not interfacial and it is not airworthy does not hold.; int3 & sent5 -> int4: the zigadene is not a resale.; int4 & sent1 -> int5: that the E is not a Genoese and does overbear harpulla is false.; int5 & sent8 -> int6: the abaca overbears incisure.; sent7 -> int7: if the abaca overbears incisure then it is intemperate.; int6 & int7 -> int8: the abaca is intemperate.; [assump1] & int8 -> hypothesis; __DISPROVED__