there is something such that if it does not scissor and is not unafraid then it is not adventuristic.
sent1: there is something such that if it does not scissor and is not unafraid then it is adventuristic. sent2: the thermograph is not a leopard's-bane if it is a kind of new thing that does not scissor. sent3: if something is unexpansive but it does not cascade contrary it does not cascade remit. sent4: if the thermograph does not scissor and is unafraid it is not adventuristic. sent5: if something that does not scissor is unafraid then it is not adventuristic. sent6: if something does not scissor and is not unafraid it is adventuristic. sent7: something that does not scissor and is not unafraid is not adventuristic. sent8: the thermograph is adventuristic if it does not scissor and it is insecure. sent9: if something that does not preside is not a bunny then it is not a Psophia.
sent7 -> int1: that the thermograph is not adventuristic hold if it does not scissor and it is not unafraid.; int1 -> hypothesis;
there exists something such that if it does not preside and it is not a bunny then it is not a Psophia.
sent9 -> int2: the development is not a kind of a Psophia if it does not preside and it is not a bunny.; int2 -> hypothesis;
$hypothesis$ = there is something such that if it does not scissor and is not unafraid then it is not adventuristic. ; $context$ = sent1: there is something such that if it does not scissor and is not unafraid then it is adventuristic. sent2: the thermograph is not a leopard's-bane if it is a kind of new thing that does not scissor. sent3: if something is unexpansive but it does not cascade contrary it does not cascade remit. sent4: if the thermograph does not scissor and is unafraid it is not adventuristic. sent5: if something that does not scissor is unafraid then it is not adventuristic. sent6: if something does not scissor and is not unafraid it is adventuristic. sent7: something that does not scissor and is not unafraid is not adventuristic. sent8: the thermograph is adventuristic if it does not scissor and it is insecure. sent9: if something that does not preside is not a bunny then it is not a Psophia. ; $proof$ = 
sent7 -> int1: that the thermograph is not adventuristic hold if it does not scissor and it is not unafraid.; int1 -> hypothesis; __PROVED__