the histidine riddles Peary.
sent1: if something is not an absolutist and/or it is not noninheritable then it does riddle Peary. sent2: the anthozoan is a palatine and it is a ingenuousness. sent3: the fact that the conidiophore is not a kind of a mudskipper is right if something that is a ingenuousness is noninheritable. sent4: everything sticks Waite. sent5: the histidine is non-absolutist or it is not noninheritable or both if the anthozoan is not noninheritable.
sent2 -> int1: the anthozoan is a kind of a ingenuousness.; void -> assump1: Let's assume that the anthozoan is noninheritable.; int1 & assump1 -> int2: the anthozoan is a kind of a ingenuousness and is noninheritable.; int2 -> int3: there exists something such that it is both a ingenuousness and noninheritable.; int3 & sent3 -> int4: the conidiophore is not a mudskipper.; sent4 -> int5: the conidiophore sticks Waite.; sent1 -> int6: if the histidine is not a kind of an absolutist and/or is not noninheritable it does riddle Peary.;
$hypothesis$ = the histidine riddles Peary. ; $context$ = sent1: if something is not an absolutist and/or it is not noninheritable then it does riddle Peary. sent2: the anthozoan is a palatine and it is a ingenuousness. sent3: the fact that the conidiophore is not a kind of a mudskipper is right if something that is a ingenuousness is noninheritable. sent4: everything sticks Waite. sent5: the histidine is non-absolutist or it is not noninheritable or both if the anthozoan is not noninheritable. ; $proof$ = 
sent2 -> int1: the anthozoan is a kind of a ingenuousness.; void -> assump1: Let's assume that the anthozoan is noninheritable.; int1 & assump1 -> int2: the anthozoan is a kind of a ingenuousness and is noninheritable.; int2 -> int3: there exists something such that it is both a ingenuousness and noninheritable.; int3 & sent3 -> int4: the conidiophore is not a mudskipper.; sent4 -> int5: the conidiophore sticks Waite.; sent1 -> int6: if the histidine is not a kind of an absolutist and/or is not noninheritable it does riddle Peary.; __UNKNOWN__