the fact that there is something such that if it is an opened the fact that it is a spokesman and is not a frequentative is not correct is not true.
sent1: the pastry does not gauge Guadalcanal if that the Spartan is a rush-grass and pounds does not hold. sent2: if something is a spokesman but it is not a frequentative it does not open. sent3: if the pastry does not gauge Guadalcanal the consort is not a kind of an opened and/or it is not allomorphic. sent4: if a spokesman is a frequentative then it is non-opened. sent5: something is not allomorphic if that it is non-opened and/or it is not allomorphic is not false.
sent2 -> int1: if the dell is a spokesman but it is not a frequentative then it is not an opened.; void -> assump2: Let's assume that the dell is a kind of a spokesman that is not a kind of a frequentative.; int1 & assump2 -> int2: the dell is not an opened.; void -> assump1: Let's assume that the dell is an opened.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the dell is a spokesman but it is not a frequentative is wrong.; [assump1] & int4 -> int5: if the dell is a kind of an opened the fact that it is a kind of a spokesman and is not a frequentative is not true.; int5 -> hypothesis;
the fact that the dell is allomorphic but it is not a frequentative is not right.
sent5 -> int6: the consort is not allomorphic if either it is not an opened or it is not allomorphic or both.;
$hypothesis$ = the fact that there is something such that if it is an opened the fact that it is a spokesman and is not a frequentative is not correct is not true. ; $context$ = sent1: the pastry does not gauge Guadalcanal if that the Spartan is a rush-grass and pounds does not hold. sent2: if something is a spokesman but it is not a frequentative it does not open. sent3: if the pastry does not gauge Guadalcanal the consort is not a kind of an opened and/or it is not allomorphic. sent4: if a spokesman is a frequentative then it is non-opened. sent5: something is not allomorphic if that it is non-opened and/or it is not allomorphic is not false. ; $proof$ = 
sent2 -> int1: if the dell is a spokesman but it is not a frequentative then it is not an opened.; void -> assump2: Let's assume that the dell is a kind of a spokesman that is not a kind of a frequentative.; int1 & assump2 -> int2: the dell is not an opened.; void -> assump1: Let's assume that the dell is an opened.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the dell is a spokesman but it is not a frequentative is wrong.; [assump1] & int4 -> int5: if the dell is a kind of an opened the fact that it is a kind of a spokesman and is not a frequentative is not true.; int5 -> hypothesis; __DISPROVED__