the fact that the bay is either not a copyist or a complacency or both does not hold.
sent1: if something does gutter fool that it is non-illegible and it does not logroll is wrong. sent2: something that is not a mouflon is a copyist and/or is a complacency. sent3: something that is a kind of a mouflon is illegible. sent4: the mull is a copyist. sent5: the phalsa is a mouflon and is illegible if the compositor does not logroll. sent6: the bay either is a copyist or is a kind of a complacency or both. sent7: a non-porphyritic thing either does not cultivate or does tailor or both. sent8: something is a spat and/or it gutters Bernini if it does not taste birthright. sent9: if something is not a mouflon then it is not a copyist and/or it is a complacency. sent10: the bay is a kind of a copyist and/or is a complacency if it is not a mouflon. sent11: the bay is not a mouflon and/or it coifs. sent12: the docent does not taste broad and does not gutter fool if the broad is ruminant. sent13: if the fact that something does not taste dope is true it gutters phalsa or it trusses games-master or both. sent14: the bay is not illegible. sent15: everything gutters fool. sent16: if the docent does not taste broad and does not gutter fool the compositor does not logroll. sent17: if the bay does not gutter cosmology it is not a Potamogeton and/or is a mouflon. sent18: if the phalsa is a kind of a mouflon then that the bay is not a copyist or is a complacency or both does not hold.
sent3 -> int1: if the bay is a mouflon then it is illegible.; void -> assump1: Let's assume that the bay is a kind of a mouflon.; int1 & assump1 -> int2: the bay is illegible.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bay is not a kind of a mouflon.; sent9 -> int5: either the bay is not a copyist or it is a complacency or both if it is not a mouflon.; int4 & int5 -> hypothesis;
the fact that the bay is not a kind of a copyist and/or is a kind of a complacency is false.
sent15 -> int6: the compositor does gutter fool.; sent1 -> int7: if the compositor does gutter fool then the fact that it is a kind of non-illegible thing that does not logroll is not right.; int6 & int7 -> int8: that the compositor is not illegible and it does not logroll is incorrect.; int8 -> int9: there exists nothing such that it is not illegible and does not logroll.; int9 -> int10: the fact that the phalsa is not illegible and it does not logroll does not hold.;
$hypothesis$ = the fact that the bay is either not a copyist or a complacency or both does not hold. ; $context$ = sent1: if something does gutter fool that it is non-illegible and it does not logroll is wrong. sent2: something that is not a mouflon is a copyist and/or is a complacency. sent3: something that is a kind of a mouflon is illegible. sent4: the mull is a copyist. sent5: the phalsa is a mouflon and is illegible if the compositor does not logroll. sent6: the bay either is a copyist or is a kind of a complacency or both. sent7: a non-porphyritic thing either does not cultivate or does tailor or both. sent8: something is a spat and/or it gutters Bernini if it does not taste birthright. sent9: if something is not a mouflon then it is not a copyist and/or it is a complacency. sent10: the bay is a kind of a copyist and/or is a complacency if it is not a mouflon. sent11: the bay is not a mouflon and/or it coifs. sent12: the docent does not taste broad and does not gutter fool if the broad is ruminant. sent13: if the fact that something does not taste dope is true it gutters phalsa or it trusses games-master or both. sent14: the bay is not illegible. sent15: everything gutters fool. sent16: if the docent does not taste broad and does not gutter fool the compositor does not logroll. sent17: if the bay does not gutter cosmology it is not a Potamogeton and/or is a mouflon. sent18: if the phalsa is a kind of a mouflon then that the bay is not a copyist or is a complacency or both does not hold. ; $proof$ = 
sent3 -> int1: if the bay is a mouflon then it is illegible.; void -> assump1: Let's assume that the bay is a kind of a mouflon.; int1 & assump1 -> int2: the bay is illegible.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bay is not a kind of a mouflon.; sent9 -> int5: either the bay is not a copyist or it is a complacency or both if it is not a mouflon.; int4 & int5 -> hypothesis; __DISPROVED__