the Abyssinian is not a Wesleyanism.
sent1: if the uke is trinucleate then the tenterhook is a factorial. sent2: the uke is a kind of a factorial. sent3: the uke is a Flaubert. sent4: if the peer is trinucleate then the tenterhook is a kind of a Flaubert. sent5: the peer is a nudism. sent6: the uke does subdivide uke. sent7: the fact that the tenterhook is a factorial hold. sent8: the Abyssinian is trinucleate if the tenterhook is a Wesleyanism. sent9: that the peer is a kind of a Wesleyanism is true if the Abyssinian is a kind of a Flaubert. sent10: the uke is trinucleate. sent11: the fact that if the uke is a Wesleyanism then the Abyssinian is a kind of a factorial hold. sent12: the Abyssinian is a Wesleyanism if the peer is a Flaubert. sent13: if the tenterhook is factorial then the uke is trinucleate. sent14: if the peer is a Wesleyanism then the fact that the Abyssinian is a kind of a Flaubert is not incorrect. sent15: the peer is trinucleate. sent16: if the fact that the uke is a factorial hold the tenterhook is trinucleate. sent17: the peer is a Leger. sent18: the tenterhook is a Wesleyanism. sent19: the peer is a kind of a Flaubert if the tenterhook is trinucleate.
sent16 & sent2 -> int1: the tenterhook is trinucleate.; sent19 & int1 -> int2: the fact that the peer is a Flaubert hold.; sent12 & int2 -> hypothesis;
the Abyssinian is not a Wesleyanism.
sent17 -> int3: the fact that there exists something such that it is a Leger is right.;
$hypothesis$ = the Abyssinian is not a Wesleyanism. ; $context$ = sent1: if the uke is trinucleate then the tenterhook is a factorial. sent2: the uke is a kind of a factorial. sent3: the uke is a Flaubert. sent4: if the peer is trinucleate then the tenterhook is a kind of a Flaubert. sent5: the peer is a nudism. sent6: the uke does subdivide uke. sent7: the fact that the tenterhook is a factorial hold. sent8: the Abyssinian is trinucleate if the tenterhook is a Wesleyanism. sent9: that the peer is a kind of a Wesleyanism is true if the Abyssinian is a kind of a Flaubert. sent10: the uke is trinucleate. sent11: the fact that if the uke is a Wesleyanism then the Abyssinian is a kind of a factorial hold. sent12: the Abyssinian is a Wesleyanism if the peer is a Flaubert. sent13: if the tenterhook is factorial then the uke is trinucleate. sent14: if the peer is a Wesleyanism then the fact that the Abyssinian is a kind of a Flaubert is not incorrect. sent15: the peer is trinucleate. sent16: if the fact that the uke is a factorial hold the tenterhook is trinucleate. sent17: the peer is a Leger. sent18: the tenterhook is a Wesleyanism. sent19: the peer is a kind of a Flaubert if the tenterhook is trinucleate. ; $proof$ = 
sent16 & sent2 -> int1: the tenterhook is trinucleate.; sent19 & int1 -> int2: the fact that the peer is a Flaubert hold.; sent12 & int2 -> hypothesis; __DISPROVED__