that the whiteface is a kind of a waterbuck is not true.
sent1: if the stout is a swab that does not price TKO the whiteface does swab. sent2: the whiteface does price TKO if the fact that it is sensorimotor is not wrong. sent3: if a sensorimotor thing is not a kind of a myringectomy the whiteface is not a kind of a Friend. sent4: the stout is not a swab if something is a tsetse but it is not cytoarchitectural. sent5: if the Realtor does not mingle Broca then the stout swabs but it does not price TKO. sent6: if the whiteface does not swab it does mingle Broca and is not cytoarchitectural. sent7: the whiteface mingles Broca and is a ban. sent8: the stout is a kind of a Friend. sent9: if something prices TKO and it does mingle Broca then it is not a waterbuck. sent10: something does not mingle Broca if it is a Friend and it is a ban. sent11: the clockwork is a kind of a myringectomy if the fact that it is not geophysical and it is a ambidexterity is wrong. sent12: if the clockwork is a myringectomy then the Realtor is a myringectomy. sent13: if something is a swab then that it is not a waterbuck and is not sensorimotor is wrong. sent14: there is nothing that is both not geophysical and a ambidexterity. sent15: something is a tsetse but it is not cytoarchitectural if it is not sensorimotor. sent16: the stout is not a myringectomy. sent17: something that is a myringectomy is a Friend.
sent15 -> int1: if the whiteface is not sensorimotor then it is a kind of a tsetse that is not cytoarchitectural.; void -> assump1: Let's assume that the whiteface is not sensorimotor.; int1 & assump1 -> int2: the whiteface is both a tsetse and not cytoarchitectural.; int2 -> int3: something is a kind of a tsetse but it is not cytoarchitectural.; int3 & sent4 -> int4: the stout is not a swab.; sent7 -> int5: the whiteface mingles Broca.; sent9 -> int6: the whiteface is not a waterbuck if it prices TKO and it does mingle Broca.;
the whiteface is a waterbuck.
sent13 -> int7: if the whiteface swabs that it is not a waterbuck and is not sensorimotor is not correct.; sent10 -> int8: the Realtor does not mingle Broca if it is both a Friend and a ban.; sent17 -> int9: the Realtor is a Friend if it is a kind of a myringectomy.; sent14 -> int10: that the clockwork is a kind of non-geophysical a ambidexterity is not correct.; sent11 & int10 -> int11: the clockwork is a myringectomy.; sent12 & int11 -> int12: the Realtor is a myringectomy.; int9 & int12 -> int13: the Realtor is a Friend.;
$hypothesis$ = that the whiteface is a kind of a waterbuck is not true. ; $context$ = sent1: if the stout is a swab that does not price TKO the whiteface does swab. sent2: the whiteface does price TKO if the fact that it is sensorimotor is not wrong. sent3: if a sensorimotor thing is not a kind of a myringectomy the whiteface is not a kind of a Friend. sent4: the stout is not a swab if something is a tsetse but it is not cytoarchitectural. sent5: if the Realtor does not mingle Broca then the stout swabs but it does not price TKO. sent6: if the whiteface does not swab it does mingle Broca and is not cytoarchitectural. sent7: the whiteface mingles Broca and is a ban. sent8: the stout is a kind of a Friend. sent9: if something prices TKO and it does mingle Broca then it is not a waterbuck. sent10: something does not mingle Broca if it is a Friend and it is a ban. sent11: the clockwork is a kind of a myringectomy if the fact that it is not geophysical and it is a ambidexterity is wrong. sent12: if the clockwork is a myringectomy then the Realtor is a myringectomy. sent13: if something is a swab then that it is not a waterbuck and is not sensorimotor is wrong. sent14: there is nothing that is both not geophysical and a ambidexterity. sent15: something is a tsetse but it is not cytoarchitectural if it is not sensorimotor. sent16: the stout is not a myringectomy. sent17: something that is a myringectomy is a Friend. ; $proof$ = 
sent15 -> int1: if the whiteface is not sensorimotor then it is a kind of a tsetse that is not cytoarchitectural.; void -> assump1: Let's assume that the whiteface is not sensorimotor.; int1 & assump1 -> int2: the whiteface is both a tsetse and not cytoarchitectural.; int2 -> int3: something is a kind of a tsetse but it is not cytoarchitectural.; int3 & sent4 -> int4: the stout is not a swab.; sent7 -> int5: the whiteface mingles Broca.; sent9 -> int6: the whiteface is not a waterbuck if it prices TKO and it does mingle Broca.; __UNKNOWN__