the fact that the perspirer is an arithmetic and/or is a Macaca does not hold.
sent1: the basil does trice dinner. sent2: if that something is both not a brooding and not a malfunctioning is incorrect it is not a pituitary. sent3: if something that does not occult paintbrush does not dim hoopoe then it is not a malfunctioning. sent4: that if the basil is joyful or does trice dinner or both the hoopoe does not occult paintbrush is correct. sent5: if the promycelium is not a malfunctioning that the aborticide is not a kind of a brooding and is not a malfunctioning does not hold. sent6: the promycelium does not occult paintbrush and it does not dim hoopoe if the hoopoe does not occult paintbrush. sent7: The dinner does trice basil. sent8: the perspirer is an arithmetic and/or it is a Macaca if the aborticide is not a kind of a Macaca. sent9: the maypop does not occult paintbrush. sent10: something is not a Macaca if it is non-pituitary.
sent1 -> int1: the basil is joyful or it trices dinner or both.; int1 & sent4 -> int2: the hoopoe does not occult paintbrush.; int2 & sent6 -> int3: the promycelium does not occult paintbrush and does not dim hoopoe.; sent3 -> int4: the promycelium is not a malfunctioning if it does not occult paintbrush and it does not dim hoopoe.; int3 & int4 -> int5: the promycelium is not a kind of a malfunctioning.; int5 & sent5 -> int6: the fact that the aborticide is not a brooding and not a malfunctioning is not right.; sent2 -> int7: if that the aborticide does not brood and it does not malfunction is incorrect it is not a pituitary.; int6 & int7 -> int8: the aborticide is not pituitary.; sent10 -> int9: the aborticide is not a Macaca if it is not a pituitary.; int8 & int9 -> int10: the aborticide is not a Macaca.; int10 & sent8 -> hypothesis;
$hypothesis$ = the fact that the perspirer is an arithmetic and/or is a Macaca does not hold. ; $context$ = sent1: the basil does trice dinner. sent2: if that something is both not a brooding and not a malfunctioning is incorrect it is not a pituitary. sent3: if something that does not occult paintbrush does not dim hoopoe then it is not a malfunctioning. sent4: that if the basil is joyful or does trice dinner or both the hoopoe does not occult paintbrush is correct. sent5: if the promycelium is not a malfunctioning that the aborticide is not a kind of a brooding and is not a malfunctioning does not hold. sent6: the promycelium does not occult paintbrush and it does not dim hoopoe if the hoopoe does not occult paintbrush. sent7: The dinner does trice basil. sent8: the perspirer is an arithmetic and/or it is a Macaca if the aborticide is not a kind of a Macaca. sent9: the maypop does not occult paintbrush. sent10: something is not a Macaca if it is non-pituitary. ; $proof$ = 
sent1 -> int1: the basil is joyful or it trices dinner or both.; int1 & sent4 -> int2: the hoopoe does not occult paintbrush.; int2 & sent6 -> int3: the promycelium does not occult paintbrush and does not dim hoopoe.; sent3 -> int4: the promycelium is not a malfunctioning if it does not occult paintbrush and it does not dim hoopoe.; int3 & int4 -> int5: the promycelium is not a kind of a malfunctioning.; int5 & sent5 -> int6: the fact that the aborticide is not a brooding and not a malfunctioning is not right.; sent2 -> int7: if that the aborticide does not brood and it does not malfunction is incorrect it is not a pituitary.; int6 & int7 -> int8: the aborticide is not pituitary.; sent10 -> int9: the aborticide is not a Macaca if it is not a pituitary.; int8 & int9 -> int10: the aborticide is not a Macaca.; int10 & sent8 -> hypothesis; __DISPROVED__