the frotteur mulcts soundman.
sent1: there is something such that the fact that it is Gnostic and is not a kind of a stock hold. sent2: the Oto is a kind of a phonograph and it is a kind of a stonewort. sent3: if something is Gnostic and not a stock the Oto is a kind of a Washingtonian. sent4: there exists something such that it is Gnostic and it is a stock. sent5: if the architecture is both not a phonograph and Washingtonian then the landmass is not a Washingtonian. sent6: there is something such that it is not a phonograph. sent7: there is something such that it is a coucal and is not Manichaean. sent8: if the landmass is not Washingtonian then that the Oto does not mulct soundman but it is a Piaf does not hold. sent9: if the jug is not a kind of a barbell and is not a arboriculture then the architecture is a arboriculture. sent10: if something is not a Piaf it does mulct soundman and is a arboriculture. sent11: the frotteur does not mulct soundman if that the Oto does not mulct soundman but it is a kind of a Piaf does not hold. sent12: a Washingtonian thing is a kind of a Piaf. sent13: something is a cannabin and it is a retread if the fact that it does not catapult put-down hold. sent14: if that the Oto is a Piaf is not incorrect the frotteur is not a kind of a Piaf but it is a phonograph.
sent1 & sent3 -> int1: the fact that the Oto is a kind of a Washingtonian hold.; sent12 -> int2: if the Oto is Washingtonian that it is a Piaf is not false.; int1 & int2 -> int3: the Oto is a kind of a Piaf.; int3 & sent14 -> int4: the frotteur is not a Piaf but a phonograph.; int4 -> int5: the frotteur is not a kind of a Piaf.; sent10 -> int6: if the frotteur is not a Piaf then it does mulct soundman and it is a arboriculture.; int5 & int6 -> int7: the frotteur mulcts soundman and it is a arboriculture.; int7 -> hypothesis;
the fact that the frotteur does mulct soundman is false.
$hypothesis$ = the frotteur mulcts soundman. ; $context$ = sent1: there is something such that the fact that it is Gnostic and is not a kind of a stock hold. sent2: the Oto is a kind of a phonograph and it is a kind of a stonewort. sent3: if something is Gnostic and not a stock the Oto is a kind of a Washingtonian. sent4: there exists something such that it is Gnostic and it is a stock. sent5: if the architecture is both not a phonograph and Washingtonian then the landmass is not a Washingtonian. sent6: there is something such that it is not a phonograph. sent7: there is something such that it is a coucal and is not Manichaean. sent8: if the landmass is not Washingtonian then that the Oto does not mulct soundman but it is a Piaf does not hold. sent9: if the jug is not a kind of a barbell and is not a arboriculture then the architecture is a arboriculture. sent10: if something is not a Piaf it does mulct soundman and is a arboriculture. sent11: the frotteur does not mulct soundman if that the Oto does not mulct soundman but it is a kind of a Piaf does not hold. sent12: a Washingtonian thing is a kind of a Piaf. sent13: something is a cannabin and it is a retread if the fact that it does not catapult put-down hold. sent14: if that the Oto is a Piaf is not incorrect the frotteur is not a kind of a Piaf but it is a phonograph. ; $proof$ = 
sent1 & sent3 -> int1: the fact that the Oto is a kind of a Washingtonian hold.; sent12 -> int2: if the Oto is Washingtonian that it is a Piaf is not false.; int1 & int2 -> int3: the Oto is a kind of a Piaf.; int3 & sent14 -> int4: the frotteur is not a Piaf but a phonograph.; int4 -> int5: the frotteur is not a kind of a Piaf.; sent10 -> int6: if the frotteur is not a Piaf then it does mulct soundman and it is a arboriculture.; int5 & int6 -> int7: the frotteur mulcts soundman and it is a arboriculture.; int7 -> hypothesis; __PROVED__