the puncher either does not mourn or does not spray pap or both.
sent1: if the aphanite sprays aphanite then the puncher communicates Mandrillus. sent2: something does mourn or does not spray pap or both if it is not a kind of a Hemiramphidae. sent3: if something does not spray aphanite and does not communicate Mandrillus it is a Hemiramphidae. sent4: there exists something such that it is mythic and a sounder. sent5: either the puncher does not mourn or it does spray pap or both. sent6: something mass-produces outcaste if it does communicate Mandrillus. sent7: the puncher does mourn and/or does not spray pap if it is not a Hemiramphidae. sent8: if there is something such that the fact that it is a kind of mythic a sounder is wrong the aphanite sprays aphanite. sent9: something does not mourn and/or it does not spray pap if it is not a kind of a Hemiramphidae. sent10: if the puncher is not a Hemiramphidae then either it does not mourn or it does spray pap or both. sent11: if something is uninstructive then it does not chain-smoke. sent12: something is not a Hemiramphidae if it mass-produces outcaste. sent13: the aphanite does spray aphanite if something is not a sounder. sent14: the aphanite is uninstructive and it sprays hug. sent15: if there exists something such that that it does not mourn and sprays pap does not hold the fathead does not mass-produce outcaste. sent16: something does not mourn and/or it does spray pap if it is not a Hemiramphidae. sent17: there is something such that that it is mythic and a sounder does not hold. sent18: that the aphanite does not mourn but it does spray pap is incorrect if it does not chain-smoke. sent19: the puncher does mourn and/or it does not spray pap.
sent17 & sent8 -> int1: the aphanite sprays aphanite.; int1 & sent1 -> int2: the puncher does communicate Mandrillus.; sent6 -> int3: the puncher does mass-produce outcaste if it does communicate Mandrillus.; int2 & int3 -> int4: the puncher does mass-produce outcaste.; sent12 -> int5: if the puncher mass-produces outcaste then it is not a Hemiramphidae.; int4 & int5 -> int6: the puncher is not a kind of a Hemiramphidae.; sent9 -> int7: if the puncher is not a kind of a Hemiramphidae then either it does not mourn or it does not spray pap or both.; int6 & int7 -> hypothesis;
the fact that the fathead is a Hemiramphidae is true.
sent3 -> int8: the fact that the fathead is a Hemiramphidae hold if that it does not spray aphanite and does not communicate Mandrillus is not incorrect.; sent11 -> int9: the fact that the aphanite chain-smokes is false if it is uninstructive.; sent14 -> int10: the aphanite is uninstructive.; int9 & int10 -> int11: the aphanite does not chain-smoke.; sent18 & int11 -> int12: that the aphanite does not mourn but it sprays pap is false.; int12 -> int13: there is something such that the fact that it does not mourn and it does spray pap does not hold.; int13 & sent15 -> int14: the fathead does not mass-produce outcaste.;
$hypothesis$ = the puncher either does not mourn or does not spray pap or both. ; $context$ = sent1: if the aphanite sprays aphanite then the puncher communicates Mandrillus. sent2: something does mourn or does not spray pap or both if it is not a kind of a Hemiramphidae. sent3: if something does not spray aphanite and does not communicate Mandrillus it is a Hemiramphidae. sent4: there exists something such that it is mythic and a sounder. sent5: either the puncher does not mourn or it does spray pap or both. sent6: something mass-produces outcaste if it does communicate Mandrillus. sent7: the puncher does mourn and/or does not spray pap if it is not a Hemiramphidae. sent8: if there is something such that the fact that it is a kind of mythic a sounder is wrong the aphanite sprays aphanite. sent9: something does not mourn and/or it does not spray pap if it is not a kind of a Hemiramphidae. sent10: if the puncher is not a Hemiramphidae then either it does not mourn or it does spray pap or both. sent11: if something is uninstructive then it does not chain-smoke. sent12: something is not a Hemiramphidae if it mass-produces outcaste. sent13: the aphanite does spray aphanite if something is not a sounder. sent14: the aphanite is uninstructive and it sprays hug. sent15: if there exists something such that that it does not mourn and sprays pap does not hold the fathead does not mass-produce outcaste. sent16: something does not mourn and/or it does spray pap if it is not a Hemiramphidae. sent17: there is something such that that it is mythic and a sounder does not hold. sent18: that the aphanite does not mourn but it does spray pap is incorrect if it does not chain-smoke. sent19: the puncher does mourn and/or it does not spray pap. ; $proof$ = 
sent17 & sent8 -> int1: the aphanite sprays aphanite.; int1 & sent1 -> int2: the puncher does communicate Mandrillus.; sent6 -> int3: the puncher does mass-produce outcaste if it does communicate Mandrillus.; int2 & int3 -> int4: the puncher does mass-produce outcaste.; sent12 -> int5: if the puncher mass-produces outcaste then it is not a Hemiramphidae.; int4 & int5 -> int6: the puncher is not a kind of a Hemiramphidae.; sent9 -> int7: if the puncher is not a kind of a Hemiramphidae then either it does not mourn or it does not spray pap or both.; int6 & int7 -> hypothesis; __PROVED__