the fact that that the nodding anole happens yields that the non-triumphalness and the vision occurs is not false.
sent1: the ducking happens. sent2: both the non-unsanitariness and the stipendiary happens. sent3: the stipendiary happens. sent4: the nodding anole does not occur if the nodding menhaden happens and the triumphalness happens. sent5: the remarriage leads to the nodding menhaden. sent6: if the unsanitariness does not occur the vision occurs and the ducking happens. sent7: if the nodding Geronimo does not occur the slump happens.
void -> assump1: Let's assume that the triumphalness occurs.; void -> assump2: Let's assume that the nodding anole occurs.; sent2 -> int1: the unsanitariness does not occur.; sent6 & int1 -> int2: the vision and the ducking happens.; int2 -> int3: the vision happens.;
$hypothesis$ = the fact that that the nodding anole happens yields that the non-triumphalness and the vision occurs is not false. ; $context$ = sent1: the ducking happens. sent2: both the non-unsanitariness and the stipendiary happens. sent3: the stipendiary happens. sent4: the nodding anole does not occur if the nodding menhaden happens and the triumphalness happens. sent5: the remarriage leads to the nodding menhaden. sent6: if the unsanitariness does not occur the vision occurs and the ducking happens. sent7: if the nodding Geronimo does not occur the slump happens. ; $proof$ = 
void -> assump1: Let's assume that the triumphalness occurs.; void -> assump2: Let's assume that the nodding anole occurs.; sent2 -> int1: the unsanitariness does not occur.; sent6 & int1 -> int2: the vision and the ducking happens.; int2 -> int3: the vision happens.; __UNKNOWN__