there exists something such that if that it is not torrential is right it is a flathead.
sent1: the constructivist embowers symphysis if the journal does not embowers symphysis. sent2: if the nard is a kind of a Calycanthus then it is Shuha. sent3: there exists something such that if it is torrential then it is a flathead. sent4: if the fact that something is not a gunpowder and embowers symphysis is wrong then it does not embowers symphysis. sent5: if the nard is not a flathead it is a gunpowder. sent6: something is a kind of a Macrodactylus if it does not segregate narrow-mindedness. sent7: if the nard is not tasteless it is a flathead. sent8: the electrophorus is not non-sour. sent9: the nard is a kind of a flathead if the fact that it embowers trabecula is right. sent10: something is torrential if it is not a flathead.
sent10 -> int1: if the nard is not a kind of a flathead then it is torrential.; void -> assump2: Let's assume that the nard is not a flathead.; int1 & assump2 -> int2: the nard is torrential.; void -> assump1: Let's assume that the nard is not torrential.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the nard is a kind of a flathead.; [assump1] & int4 -> int5: the nard is a flathead if that it is not torrential is true.; int5 -> hypothesis;
the constructivist embowers symphysis.
sent4 -> int6: if the fact that the journal is not a gunpowder and does embower symphysis is wrong it does not embower symphysis.;
$hypothesis$ = there exists something such that if that it is not torrential is right it is a flathead. ; $context$ = sent1: the constructivist embowers symphysis if the journal does not embowers symphysis. sent2: if the nard is a kind of a Calycanthus then it is Shuha. sent3: there exists something such that if it is torrential then it is a flathead. sent4: if the fact that something is not a gunpowder and embowers symphysis is wrong then it does not embowers symphysis. sent5: if the nard is not a flathead it is a gunpowder. sent6: something is a kind of a Macrodactylus if it does not segregate narrow-mindedness. sent7: if the nard is not tasteless it is a flathead. sent8: the electrophorus is not non-sour. sent9: the nard is a kind of a flathead if the fact that it embowers trabecula is right. sent10: something is torrential if it is not a flathead. ; $proof$ = 
sent10 -> int1: if the nard is not a kind of a flathead then it is torrential.; void -> assump2: Let's assume that the nard is not a flathead.; int1 & assump2 -> int2: the nard is torrential.; void -> assump1: Let's assume that the nard is not torrential.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the nard is a kind of a flathead.; [assump1] & int4 -> int5: the nard is a flathead if that it is not torrential is true.; int5 -> hypothesis; __PROVED__