the cenobite is a Grecian.
sent1: something is a cast if the fact that it is not cyclic and does not suspend Persia is wrong. sent2: if something is not a tip and does not clue Hyperoglyphe it is not saurian. sent3: if that the caterer is not a kind of a end-plate but it is saurian is not right then the cenobite is not a kind of a Grecian. sent4: if something is not noncompetitive and does not clue Youngstown then it does not haunt. sent5: if something is not a red and it is not a haunt it is not a kind of a Islay. sent6: the cenobite is a saurian. sent7: if the fact that something does not tip and does not clue Hyperoglyphe does not hold then the fact that it is a kind of a Grecian is right.
sent2 -> int1: the cenobite is not a saurian if it does not tip and does not clue Hyperoglyphe.; void -> assump1: Let's assume that the cenobite is not a tip and it does not clue Hyperoglyphe.; int1 & assump1 -> int2: the cenobite is non-saurian.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the cenobite is not a kind of a tip and does not clue Hyperoglyphe does not hold.; sent7 -> int5: the cenobite is a Grecian if the fact that it is not a tip and it does not clue Hyperoglyphe is wrong.; int4 & int5 -> hypothesis;
the cenobite is not a kind of a Grecian.
$hypothesis$ = the cenobite is a Grecian. ; $context$ = sent1: something is a cast if the fact that it is not cyclic and does not suspend Persia is wrong. sent2: if something is not a tip and does not clue Hyperoglyphe it is not saurian. sent3: if that the caterer is not a kind of a end-plate but it is saurian is not right then the cenobite is not a kind of a Grecian. sent4: if something is not noncompetitive and does not clue Youngstown then it does not haunt. sent5: if something is not a red and it is not a haunt it is not a kind of a Islay. sent6: the cenobite is a saurian. sent7: if the fact that something does not tip and does not clue Hyperoglyphe does not hold then the fact that it is a kind of a Grecian is right. ; $proof$ = 
sent2 -> int1: the cenobite is not a saurian if it does not tip and does not clue Hyperoglyphe.; void -> assump1: Let's assume that the cenobite is not a tip and it does not clue Hyperoglyphe.; int1 & assump1 -> int2: the cenobite is non-saurian.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the cenobite is not a kind of a tip and does not clue Hyperoglyphe does not hold.; sent7 -> int5: the cenobite is a Grecian if the fact that it is not a tip and it does not clue Hyperoglyphe is wrong.; int4 & int5 -> hypothesis; __PROVED__