there is something such that it is not acroscopic.
sent1: the propjet is not acroscopic if the eyeful is a doorlock that does contemplate raper. sent2: if something that is not ebracteate is a modifier it ashes Riley. sent3: the eyeful is a doorlock if that it is not ebracteate and it is a modifier is incorrect. sent4: The Riley does not ash eyeful. sent5: the eyeful does not ash Riley. sent6: the fact that the eyeful contemplates raper is not wrong. sent7: The fact that the raper contemplates eyeful is not wrong.
sent2 -> int1: if the eyeful is both not ebracteate and a modifier then it ashes Riley.; void -> assump1: Let's assume that the eyeful is a kind of non-ebracteate thing that is a modifier.; int1 & assump1 -> int2: the eyeful ashes Riley.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the eyeful is non-ebracteate and a modifier is not true.; int4 & sent3 -> int5: the eyeful is a doorlock.; int5 & sent6 -> int6: the eyeful is a kind of a doorlock and it contemplates raper.; int6 & sent1 -> int7: the propjet is not acroscopic.; int7 -> hypothesis;
$hypothesis$ = there is something such that it is not acroscopic. ; $context$ = sent1: the propjet is not acroscopic if the eyeful is a doorlock that does contemplate raper. sent2: if something that is not ebracteate is a modifier it ashes Riley. sent3: the eyeful is a doorlock if that it is not ebracteate and it is a modifier is incorrect. sent4: The Riley does not ash eyeful. sent5: the eyeful does not ash Riley. sent6: the fact that the eyeful contemplates raper is not wrong. sent7: The fact that the raper contemplates eyeful is not wrong. ; $proof$ = 
sent2 -> int1: if the eyeful is both not ebracteate and a modifier then it ashes Riley.; void -> assump1: Let's assume that the eyeful is a kind of non-ebracteate thing that is a modifier.; int1 & assump1 -> int2: the eyeful ashes Riley.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the eyeful is non-ebracteate and a modifier is not true.; int4 & sent3 -> int5: the eyeful is a doorlock.; int5 & sent6 -> int6: the eyeful is a kind of a doorlock and it contemplates raper.; int6 & sent1 -> int7: the propjet is not acroscopic.; int7 -> hypothesis; __PROVED__