the pachycephalosaur is autobiographical.
sent1: if something is not a Eglevsky then it is not a scansion and it is not autobiographical. sent2: the loggerhead is mensural. sent3: the fact that the angiocarp either is not incommodious or is not a FLETC or both is not right. sent4: the dainty is not a sandiness if the fact that the contemplative is a sandiness and not a medic is not correct. sent5: if the Berry is a FLETC that is not a Cyrillic then the contemplative is not a FLETC. sent6: if something is not a FLETC that it is a sandiness and it is not a medic does not hold. sent7: the Berry is not a kind of a Cyrillic if the fact that the pigmentation is not a handed but it interferes enflurane does not hold. sent8: that if that the loggerhead is not a Eglevsky and it is not mensural is incorrect then the fact that the pachycephalosaur is autobiographical hold is not incorrect. sent9: the fact that if the fact that the angiocarp is not incommodious and/or it is not a FLETC does not hold then the fact that the Berry is a kind of a FLETC is not incorrect is not wrong.
void -> assump1: Let's assume that the loggerhead is not a kind of a Eglevsky and it is not mensural.; assump1 -> int1: the loggerhead is not mensural.; sent2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the loggerhead is not a Eglevsky and it is not mensural does not hold.; sent8 & int3 -> hypothesis;
the pachycephalosaur is not autobiographical.
sent6 -> int4: if the contemplative is not a FLETC then that it is a sandiness and is not a kind of a medic does not hold.; sent9 & sent3 -> int5: the fact that the Berry is not a FLETC is not correct.;
$hypothesis$ = the pachycephalosaur is autobiographical. ; $context$ = sent1: if something is not a Eglevsky then it is not a scansion and it is not autobiographical. sent2: the loggerhead is mensural. sent3: the fact that the angiocarp either is not incommodious or is not a FLETC or both is not right. sent4: the dainty is not a sandiness if the fact that the contemplative is a sandiness and not a medic is not correct. sent5: if the Berry is a FLETC that is not a Cyrillic then the contemplative is not a FLETC. sent6: if something is not a FLETC that it is a sandiness and it is not a medic does not hold. sent7: the Berry is not a kind of a Cyrillic if the fact that the pigmentation is not a handed but it interferes enflurane does not hold. sent8: that if that the loggerhead is not a Eglevsky and it is not mensural is incorrect then the fact that the pachycephalosaur is autobiographical hold is not incorrect. sent9: the fact that if the fact that the angiocarp is not incommodious and/or it is not a FLETC does not hold then the fact that the Berry is a kind of a FLETC is not incorrect is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the loggerhead is not a kind of a Eglevsky and it is not mensural.; assump1 -> int1: the loggerhead is not mensural.; sent2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the loggerhead is not a Eglevsky and it is not mensural does not hold.; sent8 & int3 -> hypothesis; __PROVED__