that if the shore does not rap brill the hideout is a Smilax but it is not orthographic does not hold.
sent1: the shore is a kind of a Smilax if the hideout raps brill. sent2: the psychrometer is a dynamic. sent3: the hideout is a Smilax. sent4: the token is not a kind of a Smilax. sent5: if the shore does not rap brill then the hideout is both a Smilax and orthographic. sent6: the hideout is a kind of a Smilax that is orthographic if the brill is not a kind of a Smilax. sent7: the psychrometer is not a porcupine and it is not unservile. sent8: the hideout is a Smilax if the brill is not a kind of a Smilax. sent9: if the shore raps brill then the hideout is a kind of a Smilax but it is not orthographic. sent10: the psychrometer is not a kind of a Smilax if it is not a porcupine and it is not unservile. sent11: if the psychrometer is a kind of a dynamic then it does rap brill. sent12: if the shore does not rap brill then the hideout is a Smilax. sent13: if the brill is not a Smilax the hideout is a Smilax but it is not orthographic. sent14: if the hideout is not a Smilax then the brill is orthographic thing that does not rap brill. sent15: if the fact that the brill is a Smilax hold the fact that the shore raps brill is correct.
void -> assump1: Let's assume that the brill is a Smilax.; sent15 & assump1 -> int1: the shore raps brill.; void -> assump2: Let's assume that the shore does not rap brill.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the brill is a kind of a Smilax does not hold.; sent13 & int3 -> int4: the hideout is both a Smilax and not orthographic.; [assump2] & int4 -> hypothesis;
the psychrometer exsiccates footman but it does not bush.
sent7 & sent10 -> int5: the psychrometer is not a Smilax.; sent2 & sent11 -> int6: the psychrometer does rap brill.; int5 & int6 -> int7: the psychrometer is not a Smilax and does rap brill.;
$hypothesis$ = that if the shore does not rap brill the hideout is a Smilax but it is not orthographic does not hold. ; $context$ = sent1: the shore is a kind of a Smilax if the hideout raps brill. sent2: the psychrometer is a dynamic. sent3: the hideout is a Smilax. sent4: the token is not a kind of a Smilax. sent5: if the shore does not rap brill then the hideout is both a Smilax and orthographic. sent6: the hideout is a kind of a Smilax that is orthographic if the brill is not a kind of a Smilax. sent7: the psychrometer is not a porcupine and it is not unservile. sent8: the hideout is a Smilax if the brill is not a kind of a Smilax. sent9: if the shore raps brill then the hideout is a kind of a Smilax but it is not orthographic. sent10: the psychrometer is not a kind of a Smilax if it is not a porcupine and it is not unservile. sent11: if the psychrometer is a kind of a dynamic then it does rap brill. sent12: if the shore does not rap brill then the hideout is a Smilax. sent13: if the brill is not a Smilax the hideout is a Smilax but it is not orthographic. sent14: if the hideout is not a Smilax then the brill is orthographic thing that does not rap brill. sent15: if the fact that the brill is a Smilax hold the fact that the shore raps brill is correct. ; $proof$ = 
void -> assump1: Let's assume that the brill is a Smilax.; sent15 & assump1 -> int1: the shore raps brill.; void -> assump2: Let's assume that the shore does not rap brill.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the brill is a kind of a Smilax does not hold.; sent13 & int3 -> int4: the hideout is both a Smilax and not orthographic.; [assump2] & int4 -> hypothesis; __DISPROVED__