the brae is a Senora.
sent1: the groundhog is not a Pearmain if something that is subartesian is a lambkill. sent2: something is subartesian and it is a kind of a Senora if it is not demographic. sent3: if there exists something such that the fact that it diffuses and it is anabiotic is not correct the purdah does scale burst. sent4: if there is something such that it is not a Pearmain then that the section is diffused and it is anabiotic is wrong. sent5: if the fact that there is something such that that it is subartesian and a Pearmain is wrong is correct the groundhog does scale burst. sent6: there are subartesian and demographic things. sent7: the bicycle-built-for-two is a kind of demographic thing that is subartesian. sent8: the brae is a Senora if the purdah scales burst. sent9: the purdah is a kind of a Pearmain. sent10: if the bicycle-built-for-two is subartesian and it is a kind of a Senora then the brae is not a kind of a Senora.
sent7 -> int1: the bicycle-built-for-two is subartesian.;
the brae is not a Senora.
sent2 -> int2: the bicycle-built-for-two is subartesian a Senora if the fact that it is not a demographic is not false.;
$hypothesis$ = the brae is a Senora. ; $context$ = sent1: the groundhog is not a Pearmain if something that is subartesian is a lambkill. sent2: something is subartesian and it is a kind of a Senora if it is not demographic. sent3: if there exists something such that the fact that it diffuses and it is anabiotic is not correct the purdah does scale burst. sent4: if there is something such that it is not a Pearmain then that the section is diffused and it is anabiotic is wrong. sent5: if the fact that there is something such that that it is subartesian and a Pearmain is wrong is correct the groundhog does scale burst. sent6: there are subartesian and demographic things. sent7: the bicycle-built-for-two is a kind of demographic thing that is subartesian. sent8: the brae is a Senora if the purdah scales burst. sent9: the purdah is a kind of a Pearmain. sent10: if the bicycle-built-for-two is subartesian and it is a kind of a Senora then the brae is not a kind of a Senora. ; $proof$ = 
sent7 -> int1: the bicycle-built-for-two is subartesian.; __UNKNOWN__