the piperin guides.
sent1: if something is not oligarchic then that it offsets piperin is correct. sent2: the piperin is oligarchic and it is acroscopic. sent3: the auk is theoretical. sent4: if something is oligarchic then it is theoretical.
sent2 -> int1: that the piperin is oligarchic hold.; sent4 -> int2: the piperin is theoretical if it is oligarchic.; int1 & int2 -> int3: the piperin is theoretical.;
the auk is not non-theoretical and does offset piperin.
sent1 -> int4: the auk offsets piperin if it is not oligarchic.;
$hypothesis$ = the piperin guides. ; $context$ = sent1: if something is not oligarchic then that it offsets piperin is correct. sent2: the piperin is oligarchic and it is acroscopic. sent3: the auk is theoretical. sent4: if something is oligarchic then it is theoretical. ; $proof$ = 
sent2 -> int1: that the piperin is oligarchic hold.; sent4 -> int2: the piperin is theoretical if it is oligarchic.; int1 & int2 -> int3: the piperin is theoretical.; __UNKNOWN__