that if the forebrain is an avenger the bench does not jet soma and is not a kind of a solan is not right.
sent1: if that the forebrain is not a solan but it is a kind of a scammony is not correct it is a kind of a solan. sent2: if something that does not board Catherine is seedy then the bench is not a scammony. sent3: the bench is not a solan if something that is not a kind of a scammony is seedy. sent4: the soma does not board Catherine if it is seedy. sent5: the soma is not a scammony and not non-seedy. sent6: that the bench does not jet scat and it does not board Catherine is not right if the forebrain is an avenger. sent7: the soma does not jet scat but it does fall. sent8: if the fact that something does not jet scat and does not board Catherine is not correct then it does not jet soma.
void -> assump1: Let's assume that the forebrain is an avenger.; sent6 & assump1 -> int1: that the bench does not jet scat and it does not board Catherine does not hold.; sent8 -> int2: if the fact that the bench does not jet scat and does not board Catherine does not hold then it does not jet soma.; int1 & int2 -> int3: the bench does not jet soma.; sent5 -> int4: something is both not a scammony and seedy.; int4 & sent3 -> int5: the bench is not a solan.; int3 & int5 -> int6: the bench does not jet soma and is not a solan.; [assump1] & int6 -> hypothesis;
the ketamine is not an avenger.
$hypothesis$ = that if the forebrain is an avenger the bench does not jet soma and is not a kind of a solan is not right. ; $context$ = sent1: if that the forebrain is not a solan but it is a kind of a scammony is not correct it is a kind of a solan. sent2: if something that does not board Catherine is seedy then the bench is not a scammony. sent3: the bench is not a solan if something that is not a kind of a scammony is seedy. sent4: the soma does not board Catherine if it is seedy. sent5: the soma is not a scammony and not non-seedy. sent6: that the bench does not jet scat and it does not board Catherine is not right if the forebrain is an avenger. sent7: the soma does not jet scat but it does fall. sent8: if the fact that something does not jet scat and does not board Catherine is not correct then it does not jet soma. ; $proof$ = 
void -> assump1: Let's assume that the forebrain is an avenger.; sent6 & assump1 -> int1: that the bench does not jet scat and it does not board Catherine does not hold.; sent8 -> int2: if the fact that the bench does not jet scat and does not board Catherine does not hold then it does not jet soma.; int1 & int2 -> int3: the bench does not jet soma.; sent5 -> int4: something is both not a scammony and seedy.; int4 & sent3 -> int5: the bench is not a solan.; int3 & int5 -> int6: the bench does not jet soma and is not a solan.; [assump1] & int6 -> hypothesis; __DISPROVED__