the Piper is a bluestem.
sent1: the tension does not book tension or it is not scrotal or both. sent2: the chemiluminescence is a bluestem if the Piper is not a kind of a mire. sent3: if the Coca does not mire then it is sisterly. sent4: the chemiluminescence is an allies. sent5: the fact that the vulture is a tillage but it does not graduate is not true if the Coca is not a kind of a graduate. sent6: that the chemiluminescence is not an undertow hold if the beachcomber is not a mire. sent7: if the tension does not book tension the beachcomber is not an undertow. sent8: if the chemiluminescence does not book tension the tension does not mire. sent9: the chemiluminescence is a bluestem if the fact that the Piper is not a Greco is right. sent10: the beachcomber is a kind of an undertow if the chemiluminescence is a mire that is a Greco. sent11: the Coca does mire. sent12: the fact that the Piper is a bluestem hold if that the vulture is a tillage but not a graduate is wrong. sent13: the Piper is not scrotal. sent14: if the chemiluminescence is not a mire but it is a kind of a Greco the beachcomber is an undertow. sent15: the Coca does not graduate if the chemiluminescence is virtuous a commodore. sent16: the Piper is a map. sent17: the Piper does mire. sent18: if the fact that something is not a mire but it is a Greco is not right then it is virtuous. sent19: if that something does not mire but it is a commodore is not right then the fact that it is a tillage is not false. sent20: the beachcomber is not an undertow if the tension is not scrotal.
void -> assump1: Let's assume that that the chemiluminescence is not a mire but a Greco is not wrong.; sent14 & assump1 -> int1: the beachcomber is an undertow.; sent1 & sent7 & sent20 -> int2: the beachcomber is not an undertow.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the chemiluminescence is not a kind of a mire but it is a kind of a Greco is wrong.; sent18 -> int5: if that the chemiluminescence does not mire and is a Greco is false then that it is virtuous is not incorrect.; int4 & int5 -> int6: the fact that the chemiluminescence is virtuous hold.;
$hypothesis$ = the Piper is a bluestem. ; $context$ = sent1: the tension does not book tension or it is not scrotal or both. sent2: the chemiluminescence is a bluestem if the Piper is not a kind of a mire. sent3: if the Coca does not mire then it is sisterly. sent4: the chemiluminescence is an allies. sent5: the fact that the vulture is a tillage but it does not graduate is not true if the Coca is not a kind of a graduate. sent6: that the chemiluminescence is not an undertow hold if the beachcomber is not a mire. sent7: if the tension does not book tension the beachcomber is not an undertow. sent8: if the chemiluminescence does not book tension the tension does not mire. sent9: the chemiluminescence is a bluestem if the fact that the Piper is not a Greco is right. sent10: the beachcomber is a kind of an undertow if the chemiluminescence is a mire that is a Greco. sent11: the Coca does mire. sent12: the fact that the Piper is a bluestem hold if that the vulture is a tillage but not a graduate is wrong. sent13: the Piper is not scrotal. sent14: if the chemiluminescence is not a mire but it is a kind of a Greco the beachcomber is an undertow. sent15: the Coca does not graduate if the chemiluminescence is virtuous a commodore. sent16: the Piper is a map. sent17: the Piper does mire. sent18: if the fact that something is not a mire but it is a Greco is not right then it is virtuous. sent19: if that something does not mire but it is a commodore is not right then the fact that it is a tillage is not false. sent20: the beachcomber is not an undertow if the tension is not scrotal. ; $proof$ = 
void -> assump1: Let's assume that that the chemiluminescence is not a mire but a Greco is not wrong.; sent14 & assump1 -> int1: the beachcomber is an undertow.; sent1 & sent7 & sent20 -> int2: the beachcomber is not an undertow.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the chemiluminescence is not a kind of a mire but it is a kind of a Greco is wrong.; sent18 -> int5: if that the chemiluminescence does not mire and is a Greco is false then that it is virtuous is not incorrect.; int4 & int5 -> int6: the fact that the chemiluminescence is virtuous hold.; __UNKNOWN__