the enzymologist is associational if the rag is a palimony.
sent1: that the osteopath initials and capsules Cordylus is incorrect. sent2: the frijolito is not arboreal if the rag is both not prehistoric and not endoparasitic. sent3: the rag is not prehistoric. sent4: if something does not capsule Cordylus the rag is not guilty. sent5: the rag is non-prehistoric if it is not endoparasitic and it is associational. sent6: the enzymologist is associational if the frijolito is not arboreal. sent7: if the rag is not guilty but a palimony it is not endoparasitic. sent8: if something is guilty that it is arboreal is right. sent9: there is something such that it is a palimony and it capsules Cordylus. sent10: if there exists something such that the fact that it initials and it capsules Cordylus is not true the rag is not guilty. sent11: the mushroom is guilty.
sent1 -> int1: there is something such that that it does initial and capsules Cordylus is not correct.; int1 & sent10 -> int2: the rag is not guilty.; void -> assump1: Let's assume that the rag is a palimony.; int2 & assump1 -> int3: the rag is not guilty but it is a palimony.; int3 & sent7 -> int4: the rag is not endoparasitic.; int4 & sent3 -> int5: the rag is both not prehistoric and not endoparasitic.; int5 & sent2 -> int6: the frijolito is nonarboreal.; int6 & sent6 -> int7: the enzymologist is associational.; [assump1] & int7 -> hypothesis;
the archosaur is arboreal.
sent8 -> int8: the archosaur is arboreal if it is guilty.;
$hypothesis$ = the enzymologist is associational if the rag is a palimony. ; $context$ = sent1: that the osteopath initials and capsules Cordylus is incorrect. sent2: the frijolito is not arboreal if the rag is both not prehistoric and not endoparasitic. sent3: the rag is not prehistoric. sent4: if something does not capsule Cordylus the rag is not guilty. sent5: the rag is non-prehistoric if it is not endoparasitic and it is associational. sent6: the enzymologist is associational if the frijolito is not arboreal. sent7: if the rag is not guilty but a palimony it is not endoparasitic. sent8: if something is guilty that it is arboreal is right. sent9: there is something such that it is a palimony and it capsules Cordylus. sent10: if there exists something such that the fact that it initials and it capsules Cordylus is not true the rag is not guilty. sent11: the mushroom is guilty. ; $proof$ = 
sent1 -> int1: there is something such that that it does initial and capsules Cordylus is not correct.; int1 & sent10 -> int2: the rag is not guilty.; void -> assump1: Let's assume that the rag is a palimony.; int2 & assump1 -> int3: the rag is not guilty but it is a palimony.; int3 & sent7 -> int4: the rag is not endoparasitic.; int4 & sent3 -> int5: the rag is both not prehistoric and not endoparasitic.; int5 & sent2 -> int6: the frijolito is nonarboreal.; int6 & sent6 -> int7: the enzymologist is associational.; [assump1] & int7 -> hypothesis; __PROVED__