the clip-on is a Omphalotus.
sent1: the archenteron is not a Omphalotus and not a cane. sent2: if something is not a housewifery and it is not totemic it does constrict. sent3: there is something such that that it is both a conceptualization and a museum is not true. sent4: something does case card if it is not a kind of a mediation and it is not a count. sent5: if there is something such that the fact that it is a conceptualization and it is a museum is not true then the archenteron is not manorial. sent6: if the archenteron is a Omphalotus then the teashop is a Omphalotus. sent7: if the archenteron does not osculate the clip-on is manorial and enteric. sent8: if the archenteron is not manorial then the clip-on does not divaricate height and is not manorial. sent9: if something does not divaricate height and is manorial then it is a Omphalotus. sent10: the clip-on is a Omphalotus if it does not divaricate height and is manorial. sent11: the archenteron is a kind of a conceptualization. sent12: if the archenteron does not divaricate height then the clip-on is not a kind of a Omphalotus and it does not divaricate height. sent13: if something does not divaricate height and is not manorial it is a Omphalotus. sent14: if the archenteron is not manorial then the clip-on is not manorial. sent15: something is a conceptualization and it is a kind of a museum. sent16: the archenteron is a kind of a Omphalotus if it does not divaricate height and it is not manorial. sent17: the tongue is a kind of a Omphalotus. sent18: if there is something such that that it is manorial and it does divaricate height does not hold then the archenteron is not a kind of a Omphalotus. sent19: if the clip-on is not manorial the archenteron is both not a Omphalotus and not manorial.
sent3 & sent5 -> int1: the archenteron is not manorial.; int1 & sent8 -> int2: the clip-on does not divaricate height and is not manorial.; sent13 -> int3: if the clip-on does not divaricate height and it is not manorial then it is a Omphalotus.; int2 & int3 -> hypothesis;
the clip-on is not a kind of a Omphalotus.
$hypothesis$ = the clip-on is a Omphalotus. ; $context$ = sent1: the archenteron is not a Omphalotus and not a cane. sent2: if something is not a housewifery and it is not totemic it does constrict. sent3: there is something such that that it is both a conceptualization and a museum is not true. sent4: something does case card if it is not a kind of a mediation and it is not a count. sent5: if there is something such that the fact that it is a conceptualization and it is a museum is not true then the archenteron is not manorial. sent6: if the archenteron is a Omphalotus then the teashop is a Omphalotus. sent7: if the archenteron does not osculate the clip-on is manorial and enteric. sent8: if the archenteron is not manorial then the clip-on does not divaricate height and is not manorial. sent9: if something does not divaricate height and is manorial then it is a Omphalotus. sent10: the clip-on is a Omphalotus if it does not divaricate height and is manorial. sent11: the archenteron is a kind of a conceptualization. sent12: if the archenteron does not divaricate height then the clip-on is not a kind of a Omphalotus and it does not divaricate height. sent13: if something does not divaricate height and is not manorial it is a Omphalotus. sent14: if the archenteron is not manorial then the clip-on is not manorial. sent15: something is a conceptualization and it is a kind of a museum. sent16: the archenteron is a kind of a Omphalotus if it does not divaricate height and it is not manorial. sent17: the tongue is a kind of a Omphalotus. sent18: if there is something such that that it is manorial and it does divaricate height does not hold then the archenteron is not a kind of a Omphalotus. sent19: if the clip-on is not manorial the archenteron is both not a Omphalotus and not manorial. ; $proof$ = 
sent3 & sent5 -> int1: the archenteron is not manorial.; int1 & sent8 -> int2: the clip-on does not divaricate height and is not manorial.; sent13 -> int3: if the clip-on does not divaricate height and it is not manorial then it is a Omphalotus.; int2 & int3 -> hypothesis; __PROVED__