the Mennonite is topological and/or it is a firebox.
sent1: if the basketball does not snuffle senate and it is not a Praetorian the Mennonite enjoys equinoctial. sent2: the basketball does not snuffle senate and it is not a kind of a Praetorian. sent3: if something does enjoy equinoctial then it is a firebox.
sent1 & sent2 -> int1: the Mennonite does enjoy equinoctial.; sent3 -> int2: if the Mennonite does enjoy equinoctial it is a firebox.; int1 & int2 -> int3: the Mennonite is a firebox.; int3 -> hypothesis;
$hypothesis$ = the Mennonite is topological and/or it is a firebox. ; $context$ = sent1: if the basketball does not snuffle senate and it is not a Praetorian the Mennonite enjoys equinoctial. sent2: the basketball does not snuffle senate and it is not a kind of a Praetorian. sent3: if something does enjoy equinoctial then it is a firebox. ; $proof$ = 
sent1 & sent2 -> int1: the Mennonite does enjoy equinoctial.; sent3 -> int2: if the Mennonite does enjoy equinoctial it is a firebox.; int1 & int2 -> int3: the Mennonite is a firebox.; int3 -> hypothesis; __PROVED__