the Gaul is a transactor.
sent1: if something is not a Dasyuridae that it is not a kind of a transactor and is a eryngo does not hold. sent2: something is not a eryngo if it is not a kind of a blister. sent3: the Gaul is a kind of a transactor if the nothosaur is not a eryngo. sent4: the nothosaur is a transactor if the Gaul is not a kind of a hospice. sent5: if the nothosaur is not a blister then it is not a eryngo. sent6: the fact that the fact that the nothosaur does blister and/or it does grunt is wrong hold if the Gaul is not a kind of a eryngo. sent7: if there is something such that it is not a grunt the fact that the nothosaur does blister and it is a kind of a hospice is not true. sent8: the Gaul is not a transactor if the nothosaur is a grunt. sent9: the Gaul is not a eryngo if that the fact that the hairdo is both not a transactor and a eryngo hold does not hold. sent10: there exists something such that it is not a grunt. sent11: there is something such that it does grunt. sent12: something is not a kind of a eryngo if that it is both a blister and a hospice is false. sent13: the octogenarian is a blister. sent14: the nothosaur does not investigate Lagodon.
sent10 & sent7 -> int1: that the nothosaur is a blister that is a hospice is false.; sent12 -> int2: if the fact that the fact that the nothosaur is a kind of a blister and it is a hospice is not incorrect is wrong it is not a kind of a eryngo.; int1 & int2 -> int3: the nothosaur is not a eryngo.; int3 & sent3 -> hypothesis;
the oil is a hospice.
sent1 -> int4: that the hairdo is not a transactor but a eryngo does not hold if it is not a Dasyuridae.;
$hypothesis$ = the Gaul is a transactor. ; $context$ = sent1: if something is not a Dasyuridae that it is not a kind of a transactor and is a eryngo does not hold. sent2: something is not a eryngo if it is not a kind of a blister. sent3: the Gaul is a kind of a transactor if the nothosaur is not a eryngo. sent4: the nothosaur is a transactor if the Gaul is not a kind of a hospice. sent5: if the nothosaur is not a blister then it is not a eryngo. sent6: the fact that the fact that the nothosaur does blister and/or it does grunt is wrong hold if the Gaul is not a kind of a eryngo. sent7: if there is something such that it is not a grunt the fact that the nothosaur does blister and it is a kind of a hospice is not true. sent8: the Gaul is not a transactor if the nothosaur is a grunt. sent9: the Gaul is not a eryngo if that the fact that the hairdo is both not a transactor and a eryngo hold does not hold. sent10: there exists something such that it is not a grunt. sent11: there is something such that it does grunt. sent12: something is not a kind of a eryngo if that it is both a blister and a hospice is false. sent13: the octogenarian is a blister. sent14: the nothosaur does not investigate Lagodon. ; $proof$ = 
sent10 & sent7 -> int1: that the nothosaur is a blister that is a hospice is false.; sent12 -> int2: if the fact that the fact that the nothosaur is a kind of a blister and it is a hospice is not incorrect is wrong it is not a kind of a eryngo.; int1 & int2 -> int3: the nothosaur is not a eryngo.; int3 & sent3 -> hypothesis; __PROVED__