the msasa is Sardinian thing that is nonarboreal.
sent1: if the Herero does not unseal nitrite and is not a kind of a fustian the milt does not unseal nitrite. sent2: the maulstick is nonarboreal. sent3: if the Herero is not a sail the fact that it does riffle skateboarder and it does not stunt crotchet is incorrect. sent4: the jewel does not unseal nitrite and is not a catalectic if there exists something such that it is not a kind of a fustian. sent5: if that something is not nonarboreal but it is a kind of a Sardinian is not correct then it is nonarboreal. sent6: the fact that the milt is a kind of a catalectic that is nonarboreal is incorrect if it does not unseal nitrite. sent7: the msasa is a Sardinian if it is catalectic. sent8: the Herero does not unseal nitrite and it is not a kind of a fustian if it stunts crotchet. sent9: if something is not a kind of a catalectic the fact that the fact that it is not nonarboreal and it is Sardinian is true is not correct. sent10: everything is nonarboreal. sent11: that the msasa is catalectic hold. sent12: the msasa does bankrupt saurischian. sent13: everything does not stunt crotchet. sent14: if that the Herero riffles skateboarder but it does not stunt crotchet is incorrect it stunt crotchet. sent15: the pitchstone does unseal nitrite and it is paramedical. sent16: if something does not stunt crotchet it is not a fustian. sent17: the Herero is not a sail if that it is acroscopic and/or not a forecastle is false.
sent7 & sent11 -> int1: the msasa is a kind of a Sardinian.; sent10 -> int2: the msasa is nonarboreal.; int1 & int2 -> hypothesis;
the pitchstone is paramedical and it is a catalectic.
sent15 -> int3: the pitchstone is not non-paramedical.;
$hypothesis$ = the msasa is Sardinian thing that is nonarboreal. ; $context$ = sent1: if the Herero does not unseal nitrite and is not a kind of a fustian the milt does not unseal nitrite. sent2: the maulstick is nonarboreal. sent3: if the Herero is not a sail the fact that it does riffle skateboarder and it does not stunt crotchet is incorrect. sent4: the jewel does not unseal nitrite and is not a catalectic if there exists something such that it is not a kind of a fustian. sent5: if that something is not nonarboreal but it is a kind of a Sardinian is not correct then it is nonarboreal. sent6: the fact that the milt is a kind of a catalectic that is nonarboreal is incorrect if it does not unseal nitrite. sent7: the msasa is a Sardinian if it is catalectic. sent8: the Herero does not unseal nitrite and it is not a kind of a fustian if it stunts crotchet. sent9: if something is not a kind of a catalectic the fact that the fact that it is not nonarboreal and it is Sardinian is true is not correct. sent10: everything is nonarboreal. sent11: that the msasa is catalectic hold. sent12: the msasa does bankrupt saurischian. sent13: everything does not stunt crotchet. sent14: if that the Herero riffles skateboarder but it does not stunt crotchet is incorrect it stunt crotchet. sent15: the pitchstone does unseal nitrite and it is paramedical. sent16: if something does not stunt crotchet it is not a fustian. sent17: the Herero is not a sail if that it is acroscopic and/or not a forecastle is false. ; $proof$ = 
sent7 & sent11 -> int1: the msasa is a kind of a Sardinian.; sent10 -> int2: the msasa is nonarboreal.; int1 & int2 -> hypothesis; __PROVED__