if the oroide is not a brinkmanship the glossy is not nonrepresentational.
sent1: the fact that something is not unsociable and it does not spoon lightsomeness does not hold if it is not a kind of a brinkmanship. sent2: the fact that the maneuverer is not a Nigroporus but it is not non-over-the-counter does not hold. sent3: the fact that something is not a myriagram and it is not a kind of a Gardner is false if it is not a kind of a brinkmanship. sent4: if something is not aneroid then it is not a brinkmanship and is not nonrepresentational. sent5: the fact that the oroide is a kind of a myriagram that is not a Gardner is not right if it is not a brinkmanship.
sent3 -> int1: the fact that the oroide is not a kind of a myriagram and it is not a Gardner is not right if it is not a kind of a brinkmanship.; void -> assump1: Let's assume that the oroide is not a brinkmanship.; int1 & assump1 -> int2: the fact that the oroide is not a myriagram and is not a Gardner does not hold.; int2 -> int3: there is something such that the fact that it is not a myriagram and not a Gardner does not hold.;
there exists something such that that it is non-unsociable thing that does not spoon lightsomeness does not hold.
sent1 -> int4: that the glossy is not unsociable and it does not spoon lightsomeness does not hold if it is not a brinkmanship.; sent4 -> int5: the glossy is both not a brinkmanship and not nonrepresentational if it is not aneroid.; sent2 -> int6: there is something such that that it is not a Nigroporus and it is over-the-counter is false.;
$hypothesis$ = if the oroide is not a brinkmanship the glossy is not nonrepresentational. ; $context$ = sent1: the fact that something is not unsociable and it does not spoon lightsomeness does not hold if it is not a kind of a brinkmanship. sent2: the fact that the maneuverer is not a Nigroporus but it is not non-over-the-counter does not hold. sent3: the fact that something is not a myriagram and it is not a kind of a Gardner is false if it is not a kind of a brinkmanship. sent4: if something is not aneroid then it is not a brinkmanship and is not nonrepresentational. sent5: the fact that the oroide is a kind of a myriagram that is not a Gardner is not right if it is not a brinkmanship. ; $proof$ = 
sent3 -> int1: the fact that the oroide is not a kind of a myriagram and it is not a Gardner is not right if it is not a kind of a brinkmanship.; void -> assump1: Let's assume that the oroide is not a brinkmanship.; int1 & assump1 -> int2: the fact that the oroide is not a myriagram and is not a Gardner does not hold.; int2 -> int3: there is something such that the fact that it is not a myriagram and not a Gardner does not hold.; __UNKNOWN__