the fact that the Rioja does not spring-clean hinny and is not a kind of a Austronesian is wrong.
sent1: if the psychotherapist is Sabbatarian and is a CT then the nailbrush is not a Austronesian. sent2: the nailbrush does not dance Cartesian if something is not Sabbatarian and not a CT. sent3: everything is a sundew and disagreeable. sent4: if the ephemeron is not a syndic the ombudsman does dance Cartesian. sent5: the psychotherapist is a kind of a CT. sent6: the prairie is not a Sabbatarian and is not a CT if the dustcloth is not a motorboat. sent7: there exists something such that it is not a nest and/or it is not a motorboat. sent8: if the ombudsman does dance Cartesian the fact that the psychotherapist is Sabbatarian hold. sent9: if a sundew is disagreeable it is not a syndic. sent10: the dustcloth is not a motorboat if something does not nest or it is not a kind of a motorboat or both. sent11: if the nailbrush is not a Austronesian then the Rioja does not spring-clean hinny and it is not a kind of a Austronesian. sent12: the divinity is both a cutin and a sundew. sent13: the fact that the Rioja does not spring-clean hinny and it is not a Austronesian is wrong if the ombudsman is not a kind of a sundew. sent14: the fact that the ombudsman is not a sundew is true if the psychotherapist is not a kind of a sundew.
sent3 -> int1: the ephemeron is a sundew and it is disagreeable.; sent9 -> int2: the ephemeron is not a syndic if it is a kind of a sundew and it is disagreeable.; int1 & int2 -> int3: the ephemeron is not a syndic.; int3 & sent4 -> int4: the ombudsman does dance Cartesian.; int4 & sent8 -> int5: the psychotherapist is Sabbatarian.; int5 & sent5 -> int6: the psychotherapist is a kind of Sabbatarian thing that is a kind of a CT.; int6 & sent1 -> int7: the fact that the nailbrush is not Austronesian is not wrong.; int7 & sent11 -> hypothesis;
the fact that the Rioja does not spring-clean hinny and is non-Austronesian is not correct.
sent7 & sent10 -> int8: the dustcloth does not motorboat.; sent6 & int8 -> int9: the prairie is a kind of non-Sabbatarian thing that is not a CT.; int9 -> int10: there exists something such that it is not Sabbatarian and is not a CT.; int10 & sent2 -> int11: the nailbrush does not dance Cartesian.;
$hypothesis$ = the fact that the Rioja does not spring-clean hinny and is not a kind of a Austronesian is wrong. ; $context$ = sent1: if the psychotherapist is Sabbatarian and is a CT then the nailbrush is not a Austronesian. sent2: the nailbrush does not dance Cartesian if something is not Sabbatarian and not a CT. sent3: everything is a sundew and disagreeable. sent4: if the ephemeron is not a syndic the ombudsman does dance Cartesian. sent5: the psychotherapist is a kind of a CT. sent6: the prairie is not a Sabbatarian and is not a CT if the dustcloth is not a motorboat. sent7: there exists something such that it is not a nest and/or it is not a motorboat. sent8: if the ombudsman does dance Cartesian the fact that the psychotherapist is Sabbatarian hold. sent9: if a sundew is disagreeable it is not a syndic. sent10: the dustcloth is not a motorboat if something does not nest or it is not a kind of a motorboat or both. sent11: if the nailbrush is not a Austronesian then the Rioja does not spring-clean hinny and it is not a kind of a Austronesian. sent12: the divinity is both a cutin and a sundew. sent13: the fact that the Rioja does not spring-clean hinny and it is not a Austronesian is wrong if the ombudsman is not a kind of a sundew. sent14: the fact that the ombudsman is not a sundew is true if the psychotherapist is not a kind of a sundew. ; $proof$ = 
sent3 -> int1: the ephemeron is a sundew and it is disagreeable.; sent9 -> int2: the ephemeron is not a syndic if it is a kind of a sundew and it is disagreeable.; int1 & int2 -> int3: the ephemeron is not a syndic.; int3 & sent4 -> int4: the ombudsman does dance Cartesian.; int4 & sent8 -> int5: the psychotherapist is Sabbatarian.; int5 & sent5 -> int6: the psychotherapist is a kind of Sabbatarian thing that is a kind of a CT.; int6 & sent1 -> int7: the fact that the nailbrush is not Austronesian is not wrong.; int7 & sent11 -> hypothesis; __DISPROVED__