if the pinetum is not a candidate the tucker-bag is not sure but it angles.
sent1: there is something such that the fact that it is sure thing that does angle is false. sent2: the toke is not a kind of a candidate. sent3: the tucker-bag is not sure if the pinetum is not a kind of a candidate. sent4: the tucker-bag does not invite jack-o-lantern. sent5: the pinetum is a kind of a candidate if there exists something such that it is not sure but an angle.
void -> assump1: Let's assume that the fact that the fact that the tucker-bag is non-sure an angle is incorrect is right.; assump1 -> int1: there is something such that that it is non-sure thing that angles is false.;
$hypothesis$ = if the pinetum is not a candidate the tucker-bag is not sure but it angles. ; $context$ = sent1: there is something such that the fact that it is sure thing that does angle is false. sent2: the toke is not a kind of a candidate. sent3: the tucker-bag is not sure if the pinetum is not a kind of a candidate. sent4: the tucker-bag does not invite jack-o-lantern. sent5: the pinetum is a kind of a candidate if there exists something such that it is not sure but an angle. ; $proof$ = 
void -> assump1: Let's assume that the fact that the fact that the tucker-bag is non-sure an angle is incorrect is right.; assump1 -> int1: there is something such that that it is non-sure thing that angles is false.; __UNKNOWN__