if the shoot does recline spinney then the flail is not a Opisthocomidae.
sent1: if the shoot does recline spinney the nurse is a rat-a-tat-tat. sent2: if the nurse is a rat-a-tat-tat then the flail is not a Opisthocomidae.
void -> assump1: Let's assume that the shoot reclines spinney.; sent1 & assump1 -> int1: the nurse is a kind of a rat-a-tat-tat.; sent2 & int1 -> int2: the flail is not a Opisthocomidae.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the shoot does recline spinney then the flail is not a Opisthocomidae. ; $context$ = sent1: if the shoot does recline spinney the nurse is a rat-a-tat-tat. sent2: if the nurse is a rat-a-tat-tat then the flail is not a Opisthocomidae. ; $proof$ = 
void -> assump1: Let's assume that the shoot reclines spinney.; sent1 & assump1 -> int1: the nurse is a kind of a rat-a-tat-tat.; sent2 & int1 -> int2: the flail is not a Opisthocomidae.; [assump1] & int2 -> hypothesis; __PROVED__