the baba does foul.
sent1: if the fact that something is not a Kleist and it is not aquicultural is false then it is not a stegosaur. sent2: if the moccasin is not a kind of a ricin and does fear immunization the fact that the baba is a foul is not false. sent3: if something is a kind of a Ranunculus it is phonemic. sent4: if something is a stegosaur but it is not a sliding then it is not a adenopathy. sent5: The immunization does fear moccasin. sent6: if something is a kind of a dissent then it is not a ricin. sent7: if the NSAID does dissent it is a Ranunculus. sent8: the shamrock is a stegosaur and is not a sliding. sent9: the moccasin does fear immunization. sent10: if the NSAID is phonemic the shamrock is a adenopathy. sent11: something is not a ricin if the fact that it does not fear moccasin and is not a dissent is wrong.
void -> assump1: Let's assume that the NSAID is a dissent.; sent7 & assump1 -> int1: the NSAID is a Ranunculus.; sent3 -> int2: if the NSAID is a Ranunculus it is phonemic.; int1 & int2 -> int3: the NSAID is phonemic.; int3 & sent10 -> int4: the fact that the shamrock is a kind of a adenopathy is not wrong.; sent4 -> int5: the shamrock is not a adenopathy if it is a stegosaur and not a sliding.; int5 & sent8 -> int6: the shamrock is not a adenopathy.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the NSAID is not a dissent hold.; sent11 -> int9: if that the moccasin does not fear moccasin and is not a kind of a dissent is not right the fact that it is not a ricin hold.;
if the fact that the depression is not a kind of a Kleist and is not aquicultural is false then it is not a stegosaur.
sent1 -> hypothesis;
$hypothesis$ = the baba does foul. ; $context$ = sent1: if the fact that something is not a Kleist and it is not aquicultural is false then it is not a stegosaur. sent2: if the moccasin is not a kind of a ricin and does fear immunization the fact that the baba is a foul is not false. sent3: if something is a kind of a Ranunculus it is phonemic. sent4: if something is a stegosaur but it is not a sliding then it is not a adenopathy. sent5: The immunization does fear moccasin. sent6: if something is a kind of a dissent then it is not a ricin. sent7: if the NSAID does dissent it is a Ranunculus. sent8: the shamrock is a stegosaur and is not a sliding. sent9: the moccasin does fear immunization. sent10: if the NSAID is phonemic the shamrock is a adenopathy. sent11: something is not a ricin if the fact that it does not fear moccasin and is not a dissent is wrong. ; $proof$ = 
void -> assump1: Let's assume that the NSAID is a dissent.; sent7 & assump1 -> int1: the NSAID is a Ranunculus.; sent3 -> int2: if the NSAID is a Ranunculus it is phonemic.; int1 & int2 -> int3: the NSAID is phonemic.; int3 & sent10 -> int4: the fact that the shamrock is a kind of a adenopathy is not wrong.; sent4 -> int5: the shamrock is not a adenopathy if it is a stegosaur and not a sliding.; int5 & sent8 -> int6: the shamrock is not a adenopathy.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the NSAID is not a dissent hold.; sent11 -> int9: if that the moccasin does not fear moccasin and is not a kind of a dissent is not right the fact that it is not a ricin hold.; __UNKNOWN__