that the GHQ is a pulse and not semantics is false.
sent1: if the steak is not semantics that the GHQ is a pulse and is not semantics is wrong. sent2: the balldress is not stearic. sent3: something is not an angle. sent4: if there exists something such that it is not an angle the steak is a polypeptide. sent5: if something is not a polypeptide then it is a kind of an angle that is semantics. sent6: the fact that the steak is stearic and semantics is false.
sent3 & sent4 -> int1: the steak is a kind of a polypeptide.; void -> assump1: Let's assume that the steak is semantics.; int1 & assump1 -> int2: the steak is a polypeptide that is semantics.; int2 -> int3: something is a kind of a polypeptide and is semantics.;
the balldress is semantics.
sent5 -> int4: if the balldress is not a polypeptide it is an angle and is semantics.;
$hypothesis$ = that the GHQ is a pulse and not semantics is false. ; $context$ = sent1: if the steak is not semantics that the GHQ is a pulse and is not semantics is wrong. sent2: the balldress is not stearic. sent3: something is not an angle. sent4: if there exists something such that it is not an angle the steak is a polypeptide. sent5: if something is not a polypeptide then it is a kind of an angle that is semantics. sent6: the fact that the steak is stearic and semantics is false. ; $proof$ = 
sent3 & sent4 -> int1: the steak is a kind of a polypeptide.; void -> assump1: Let's assume that the steak is semantics.; int1 & assump1 -> int2: the steak is a polypeptide that is semantics.; int2 -> int3: something is a kind of a polypeptide and is semantics.; __UNKNOWN__