the marquetry does not rendezvous egg.
sent1: the marquetry does not rendezvous Ochna if either it is not actuarial or it does attorn or both. sent2: the ammonia is a kind of a month that does not rendezvous prophet. sent3: that the fail-safe does not render exhilaration is not incorrect if it is not a month. sent4: the ammonia is a kind of an egg that does pleach pyocyanin. sent5: the ammonia does attorn and/or it eggs. sent6: if the marquetry rendezvous egg and does not pleach pyocyanin then the ammonia is not a kind of an egg. sent7: that the marquetry does not rendezvous egg hold if the ammonia is both a month and not enforceable. sent8: something that either does not attorn or is an egg or both is not enforceable. sent9: something that is not an opportunism or a Bartlesville or both is not a cereal.
sent4 -> int1: the ammonia eggs.; int1 -> int2: the ammonia does not attorn and/or it is an egg.; sent8 -> int3: the ammonia is not enforceable if it does not attorn and/or eggs.; int2 & int3 -> int4: the ammonia is not enforceable.; sent2 -> int5: the ammonia is a month.; int4 & int5 -> int6: the ammonia is a month that is unenforceable.; int6 & sent7 -> hypothesis;
$hypothesis$ = the marquetry does not rendezvous egg. ; $context$ = sent1: the marquetry does not rendezvous Ochna if either it is not actuarial or it does attorn or both. sent2: the ammonia is a kind of a month that does not rendezvous prophet. sent3: that the fail-safe does not render exhilaration is not incorrect if it is not a month. sent4: the ammonia is a kind of an egg that does pleach pyocyanin. sent5: the ammonia does attorn and/or it eggs. sent6: if the marquetry rendezvous egg and does not pleach pyocyanin then the ammonia is not a kind of an egg. sent7: that the marquetry does not rendezvous egg hold if the ammonia is both a month and not enforceable. sent8: something that either does not attorn or is an egg or both is not enforceable. sent9: something that is not an opportunism or a Bartlesville or both is not a cereal. ; $proof$ = 
sent4 -> int1: the ammonia eggs.; int1 -> int2: the ammonia does not attorn and/or it is an egg.; sent8 -> int3: the ammonia is not enforceable if it does not attorn and/or eggs.; int2 & int3 -> int4: the ammonia is not enforceable.; sent2 -> int5: the ammonia is a month.; int4 & int5 -> int6: the ammonia is a month that is unenforceable.; int6 & sent7 -> hypothesis; __PROVED__