the stoup is apocryphal.
sent1: the argonaut is a forestay and it is a south if there is something such that it is not a kind of a Melopsittacus. sent2: that the stoup does not trivialize organon hold. sent3: if there exists something such that it is a Gielgud the assessee is a Gielgud and/or not sensible. sent4: the stoup is not a Gielgud or insensible or both. sent5: the e is not a kind of a PLO. sent6: the stoup is a kind of a PLO if it is not sensible. sent7: something is a Gielgud if that it is a magnitude or it does not inject or both is not true. sent8: if the argonaut is a kind of a forestay then the assessee is a forestay. sent9: that something does not sediment is right if it does not coat Kandy and it does not trivialize barbell. sent10: if the monument is not seaworthy or it is insensible or both then it knits e. sent11: something does not inject and is a kind of a magnitude if it is not a kind of a sediment. sent12: something that is insensible is not a PLO and is not apocryphal. sent13: everything is not a Melopsittacus. sent14: the fact that the stoup is not a kind of a magnitude is correct if the assessee does not inject and is a magnitude. sent15: the argonaut is not a sediment. sent16: the stoup is a PLO if it is not a kind of a Gielgud and/or is insensible. sent17: the headpin is a kind of a Gielgud that is a PLO if the stoup is not a kind of a magnitude. sent18: something does not realize if it is a forestay. sent19: the stoup themes keel. sent20: something that is a PLO or is apocryphal or both is not insensible. sent21: the barbell is not insensible. sent22: something does not coat Kandy and does not trivialize barbell if it does not realize.
void -> assump1: Let's assume that that the stoup is not apocryphal is not false.; sent16 & sent4 -> int1: the stoup is a kind of a PLO.;
the stoup is not apocryphal.
sent12 -> int2: if the stoup is insensible then it is not a PLO and it is not apocryphal.; sent7 -> int3: if that either the argonaut is a magnitude or it does not inject or both is false it is a kind of a Gielgud.;
$hypothesis$ = the stoup is apocryphal. ; $context$ = sent1: the argonaut is a forestay and it is a south if there is something such that it is not a kind of a Melopsittacus. sent2: that the stoup does not trivialize organon hold. sent3: if there exists something such that it is a Gielgud the assessee is a Gielgud and/or not sensible. sent4: the stoup is not a Gielgud or insensible or both. sent5: the e is not a kind of a PLO. sent6: the stoup is a kind of a PLO if it is not sensible. sent7: something is a Gielgud if that it is a magnitude or it does not inject or both is not true. sent8: if the argonaut is a kind of a forestay then the assessee is a forestay. sent9: that something does not sediment is right if it does not coat Kandy and it does not trivialize barbell. sent10: if the monument is not seaworthy or it is insensible or both then it knits e. sent11: something does not inject and is a kind of a magnitude if it is not a kind of a sediment. sent12: something that is insensible is not a PLO and is not apocryphal. sent13: everything is not a Melopsittacus. sent14: the fact that the stoup is not a kind of a magnitude is correct if the assessee does not inject and is a magnitude. sent15: the argonaut is not a sediment. sent16: the stoup is a PLO if it is not a kind of a Gielgud and/or is insensible. sent17: the headpin is a kind of a Gielgud that is a PLO if the stoup is not a kind of a magnitude. sent18: something does not realize if it is a forestay. sent19: the stoup themes keel. sent20: something that is a PLO or is apocryphal or both is not insensible. sent21: the barbell is not insensible. sent22: something does not coat Kandy and does not trivialize barbell if it does not realize. ; $proof$ = 
void -> assump1: Let's assume that that the stoup is not apocryphal is not false.; sent16 & sent4 -> int1: the stoup is a kind of a PLO.; __UNKNOWN__