the isoagglutinogen is not non-multiphase.
sent1: if something is not a Tobin then the fact that it is multiphase and/or is minimal is wrong. sent2: if the upset is minimal the fact that it is a thuggery and it is not approachable is not right. sent3: that the upset is a thuggery is correct. sent4: if the hull is a Tobin the isoagglutinogen is multiphase. sent5: that if the fact that the upset is multiphase or it is not non-minimal or both is not correct then the isoagglutinogen is not multiphase hold. sent6: everything is a kind of a thuggery and is unapproachable. sent7: if the upset is not minimal the hull is a Tobin but it is not minimal.
void -> assump1: Let's assume that the upset is minimal.; sent2 & assump1 -> int1: that the upset is a kind of a thuggery and is not approachable is not correct.; sent6 -> int2: the upset is a thuggery but it is not approachable.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the upset is not minimal.; int4 & sent7 -> int5: the hull is a Tobin but it is not minimal.; int5 -> int6: the hull is a Tobin.; int6 & sent4 -> hypothesis;
the isoagglutinogen is not multiphase.
sent1 -> int7: if that the upset is not a Tobin hold then the fact that it is either multiphase or not non-minimal or both is incorrect.;
$hypothesis$ = the isoagglutinogen is not non-multiphase. ; $context$ = sent1: if something is not a Tobin then the fact that it is multiphase and/or is minimal is wrong. sent2: if the upset is minimal the fact that it is a thuggery and it is not approachable is not right. sent3: that the upset is a thuggery is correct. sent4: if the hull is a Tobin the isoagglutinogen is multiphase. sent5: that if the fact that the upset is multiphase or it is not non-minimal or both is not correct then the isoagglutinogen is not multiphase hold. sent6: everything is a kind of a thuggery and is unapproachable. sent7: if the upset is not minimal the hull is a Tobin but it is not minimal. ; $proof$ = 
void -> assump1: Let's assume that the upset is minimal.; sent2 & assump1 -> int1: that the upset is a kind of a thuggery and is not approachable is not correct.; sent6 -> int2: the upset is a thuggery but it is not approachable.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the upset is not minimal.; int4 & sent7 -> int5: the hull is a Tobin but it is not minimal.; int5 -> int6: the hull is a Tobin.; int6 & sent4 -> hypothesis; __PROVED__