there is something such that it is not a rook.
sent1: if the rhesus is a rook the outerwear is a kind of a freeman. sent2: if the outerwear does sicken freestyle then the sundowner is a kind of a pogge. sent3: if the outerwear is a freeman then it is a kind of a pogge. sent4: the entomion sickens freestyle if the rhesus does sickens freestyle. sent5: the rhesus does not sicken Bakelite. sent6: if that that the sundowner is a kind of a pogge that does not sicken freestyle is not correct is not wrong the outerwear is not a pogge. sent7: if the sundowner is a kind of a freeman then it does sicken freestyle. sent8: the rhesus tweaks. sent9: something is a rook. sent10: the fact that the outerwear is a pogge but it is not a rook is not right. sent11: the outerwear does not sicken freestyle. sent12: if the fact that the outerwear is a kind of a pogge but it is not a rook is incorrect then the rhesus is not a kind of a pogge. sent13: if the sundowner is not a pogge the rhesus is not a pogge. sent14: if the sundowner is not a pogge then the outerwear is not a kind of a pogge. sent15: the fact that the sundowner is a pogge and does not sicken freestyle does not hold. sent16: there is something such that it does gather beachhead. sent17: the rhesus is not a rook if the sundowner is not a rook.
void -> assump1: Let's assume that the rhesus is a rook.; sent1 & assump1 -> int1: the outerwear is a freeman.; int1 & sent3 -> int2: the outerwear is a kind of a pogge.; sent6 & sent15 -> int3: the outerwear is not a pogge.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the rhesus is not a rook.; int5 -> hypothesis;
the entomion sickens freestyle.
$hypothesis$ = there is something such that it is not a rook. ; $context$ = sent1: if the rhesus is a rook the outerwear is a kind of a freeman. sent2: if the outerwear does sicken freestyle then the sundowner is a kind of a pogge. sent3: if the outerwear is a freeman then it is a kind of a pogge. sent4: the entomion sickens freestyle if the rhesus does sickens freestyle. sent5: the rhesus does not sicken Bakelite. sent6: if that that the sundowner is a kind of a pogge that does not sicken freestyle is not correct is not wrong the outerwear is not a pogge. sent7: if the sundowner is a kind of a freeman then it does sicken freestyle. sent8: the rhesus tweaks. sent9: something is a rook. sent10: the fact that the outerwear is a pogge but it is not a rook is not right. sent11: the outerwear does not sicken freestyle. sent12: if the fact that the outerwear is a kind of a pogge but it is not a rook is incorrect then the rhesus is not a kind of a pogge. sent13: if the sundowner is not a pogge the rhesus is not a pogge. sent14: if the sundowner is not a pogge then the outerwear is not a kind of a pogge. sent15: the fact that the sundowner is a pogge and does not sicken freestyle does not hold. sent16: there is something such that it does gather beachhead. sent17: the rhesus is not a rook if the sundowner is not a rook. ; $proof$ = 
void -> assump1: Let's assume that the rhesus is a rook.; sent1 & assump1 -> int1: the outerwear is a freeman.; int1 & sent3 -> int2: the outerwear is a kind of a pogge.; sent6 & sent15 -> int3: the outerwear is not a pogge.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the rhesus is not a rook.; int5 -> hypothesis; __PROVED__