the housekeeper is not a kind of a Romans.
sent1: the housekeeper is not a Romans if something is not a katamorphism and does not coach timed. sent2: the Postimpressionist does not coach timed. sent3: the fact that the Postimpressionist is not a professor and it is not a Menuhin is not right. sent4: if that the handcar is a citrulline but it is not a Romans is wrong then the fact that it does not corkscrew Luculus is not false. sent5: if something is a katamorphism and it does smell e then it is not a woodsman. sent6: the Postimpressionist is not a kind of a woodsman if the handcar is not a woodsman and it does not corkscrew Luculus. sent7: the handcar does not coach timed. sent8: everything is not thalamocortical. sent9: if the Postimpressionist is a woodsman then that the housekeeper is a Romans is not incorrect. sent10: the Postimpressionist smells e if that it is not a kind of a professor and it is not a Menuhin is not right. sent11: something is a citrulline and does enlarge if it is not thalamocortical. sent12: the fact that the Postimpressionist is a professor but it is not a Menuhin is incorrect. sent13: the Colbert does not coach timed if there exists something such that it is a kind of a citrulline. sent14: if the Colbert does not coach timed then the polysaccharide is not a katamorphism. sent15: that something is not a Mustelus and does not corkscrew bootlegger does not hold if it is not a kind of a woodsman. sent16: that the Postimpressionist is not a woodsman and it does not corkscrew Luculus is not correct if it does smell e. sent17: The timed does not coach handcar. sent18: the handcar is a katamorphism and does smell e if the housekeeper does not coach timed. sent19: the fact that the handcar is a citrulline but it is not a kind of a Romans is not true if it does not enlarge. sent20: that the Postimpressionist is not a professor but a Menuhin is incorrect. sent21: the handcar is not a katamorphism if there is something such that the fact that it is not a kind of a woodsman and it does not corkscrew Luculus is incorrect.
sent10 & sent3 -> int1: the Postimpressionist does smell e.; int1 & sent16 -> int2: that the Postimpressionist is not a woodsman and does not corkscrew Luculus is wrong.; int2 -> int3: there exists something such that that it is not a kind of a woodsman and it does not corkscrew Luculus is wrong.; int3 & sent21 -> int4: the handcar is not a kind of a katamorphism.; int4 & sent7 -> int5: the handcar is not a katamorphism and it does not coach timed.; int5 -> int6: there exists something such that it is not a katamorphism and does not coach timed.; int6 & sent1 -> hypothesis;
that the Postimpressionist is not a Mustelus and it does not corkscrew bootlegger is incorrect.
sent15 -> int7: that the Postimpressionist is not a Mustelus and it does not corkscrew bootlegger is false if that it is not a woodsman is right.; sent5 -> int8: the handcar is not a woodsman if it is a katamorphism and does smell e.;
$hypothesis$ = the housekeeper is not a kind of a Romans. ; $context$ = sent1: the housekeeper is not a Romans if something is not a katamorphism and does not coach timed. sent2: the Postimpressionist does not coach timed. sent3: the fact that the Postimpressionist is not a professor and it is not a Menuhin is not right. sent4: if that the handcar is a citrulline but it is not a Romans is wrong then the fact that it does not corkscrew Luculus is not false. sent5: if something is a katamorphism and it does smell e then it is not a woodsman. sent6: the Postimpressionist is not a kind of a woodsman if the handcar is not a woodsman and it does not corkscrew Luculus. sent7: the handcar does not coach timed. sent8: everything is not thalamocortical. sent9: if the Postimpressionist is a woodsman then that the housekeeper is a Romans is not incorrect. sent10: the Postimpressionist smells e if that it is not a kind of a professor and it is not a Menuhin is not right. sent11: something is a citrulline and does enlarge if it is not thalamocortical. sent12: the fact that the Postimpressionist is a professor but it is not a Menuhin is incorrect. sent13: the Colbert does not coach timed if there exists something such that it is a kind of a citrulline. sent14: if the Colbert does not coach timed then the polysaccharide is not a katamorphism. sent15: that something is not a Mustelus and does not corkscrew bootlegger does not hold if it is not a kind of a woodsman. sent16: that the Postimpressionist is not a woodsman and it does not corkscrew Luculus is not correct if it does smell e. sent17: The timed does not coach handcar. sent18: the handcar is a katamorphism and does smell e if the housekeeper does not coach timed. sent19: the fact that the handcar is a citrulline but it is not a kind of a Romans is not true if it does not enlarge. sent20: that the Postimpressionist is not a professor but a Menuhin is incorrect. sent21: the handcar is not a katamorphism if there is something such that the fact that it is not a kind of a woodsman and it does not corkscrew Luculus is incorrect. ; $proof$ = 
sent10 & sent3 -> int1: the Postimpressionist does smell e.; int1 & sent16 -> int2: that the Postimpressionist is not a woodsman and does not corkscrew Luculus is wrong.; int2 -> int3: there exists something such that that it is not a kind of a woodsman and it does not corkscrew Luculus is wrong.; int3 & sent21 -> int4: the handcar is not a kind of a katamorphism.; int4 & sent7 -> int5: the handcar is not a katamorphism and it does not coach timed.; int5 -> int6: there exists something such that it is not a katamorphism and does not coach timed.; int6 & sent1 -> hypothesis; __PROVED__