the rook is bladdery.
sent1: the branchiopod is not nonreflective and/or it is not a sting if the rook is not an ice. sent2: the invagination is not osseous if the branchiopod is not a kind of a sting. sent3: if the invagination is not bladdery that the rook is not an ice is not false. sent4: if the branchiopod is not osseous then the invagination is not nonreflective. sent5: the rook stings if the fact that the branchiopod is an ice is right. sent6: if something is a hiss then it is a cinchonine. sent7: the invagination is not a arborist. sent8: that the invagination does not imbricate and/or it does not avoid alumnus does not hold. sent9: the rook does avoid disgusting. sent10: something is not bladdery and it is not an ice if it is not osseous. sent11: something is osseous if that it avoids disgusting is not wrong. sent12: the fact that the rook is not a sting or it is not bladdery or both is right. sent13: if the branchiopod is a kind of a arborist the fact that that it is osseous and it does not avoid disgusting is not incorrect does not hold. sent14: if the branchiopod is not nonreflective the invagination is osseous. sent15: if something does ice then it is bladdery. sent16: the invagination is not osseous if the branchiopod is not nonreflective. sent17: if the cultist is a arborist the invagination avoids disgusting. sent18: the cultist is a arborist.
void -> assump1: Let's assume that the rook does not ice.; sent1 & assump1 -> int1: the branchiopod is not nonreflective and/or is not a sting.; int1 & sent16 & sent2 -> int2: the fact that the invagination is not osseous hold.; sent11 -> int3: if the invagination avoids disgusting the fact that it is not osseous is false.; sent17 & sent18 -> int4: the invagination avoids disgusting.; int3 & int4 -> int5: the invagination is osseous.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the rook does ice.; sent15 -> int8: if the rook is an ice then that it is bladdery hold.; int7 & int8 -> hypothesis;
the rook is not bladdery.
sent10 -> int9: if the rook is non-osseous then it is a kind of non-bladdery thing that is not an ice.; sent8 -> int10: there is something such that the fact that it does not imbricate and/or it does not avoid alumnus is false.;
$hypothesis$ = the rook is bladdery. ; $context$ = sent1: the branchiopod is not nonreflective and/or it is not a sting if the rook is not an ice. sent2: the invagination is not osseous if the branchiopod is not a kind of a sting. sent3: if the invagination is not bladdery that the rook is not an ice is not false. sent4: if the branchiopod is not osseous then the invagination is not nonreflective. sent5: the rook stings if the fact that the branchiopod is an ice is right. sent6: if something is a hiss then it is a cinchonine. sent7: the invagination is not a arborist. sent8: that the invagination does not imbricate and/or it does not avoid alumnus does not hold. sent9: the rook does avoid disgusting. sent10: something is not bladdery and it is not an ice if it is not osseous. sent11: something is osseous if that it avoids disgusting is not wrong. sent12: the fact that the rook is not a sting or it is not bladdery or both is right. sent13: if the branchiopod is a kind of a arborist the fact that that it is osseous and it does not avoid disgusting is not incorrect does not hold. sent14: if the branchiopod is not nonreflective the invagination is osseous. sent15: if something does ice then it is bladdery. sent16: the invagination is not osseous if the branchiopod is not nonreflective. sent17: if the cultist is a arborist the invagination avoids disgusting. sent18: the cultist is a arborist. ; $proof$ = 
void -> assump1: Let's assume that the rook does not ice.; sent1 & assump1 -> int1: the branchiopod is not nonreflective and/or is not a sting.; int1 & sent16 & sent2 -> int2: the fact that the invagination is not osseous hold.; sent11 -> int3: if the invagination avoids disgusting the fact that it is not osseous is false.; sent17 & sent18 -> int4: the invagination avoids disgusting.; int3 & int4 -> int5: the invagination is osseous.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the rook does ice.; sent15 -> int8: if the rook is an ice then that it is bladdery hold.; int7 & int8 -> hypothesis; __PROVED__