the fact that either the rejuvenation reddens giantism or it is not a Pomacentrus or both does not hold.
sent1: the tampon does redden giantism if it is a Fulani. sent2: if the radiotelephone is not a Fulani that either the rejuvenation reddens giantism or it is not a kind of a Pomacentrus or both is wrong. sent3: if something does not redden songbird and is a Pomacentrus it does redden Thymus. sent4: the guyot does not tweet if there is something such that that it is noncombustible and/or is not phocine is wrong. sent5: everything does not redden Thymus and it reddens songbird. sent6: something is a Fox and does not kibitz if it is not a kind of a tweet. sent7: something is a Fulani if it does not redden Thymus and it does redden songbird. sent8: if that the tampon reddens giantism hold that the rejuvenation reddens giantism and/or is not a Pomacentrus is not incorrect. sent9: if the idesia does not kibitz then the switch is both igneous and Himalayan. sent10: the tampon is not a kind of a Pomacentrus. sent11: the idesia does not kibitz if the guyot is a kind of a Fox and does not kibitz. sent12: the fact that either the breadstick is not combustible or it is not phocine or both is wrong. sent13: everything does not redden Thymus. sent14: that that something does not redden tampon but it is a kind of a buttress is wrong if it is igneous is not wrong.
sent5 -> int1: the tampon does not redden Thymus and reddens songbird.; sent7 -> int2: that the tampon is a Fulani is correct if it does not redden Thymus and does redden songbird.; int1 & int2 -> int3: the tampon is a kind of a Fulani.; int3 & sent1 -> int4: the tampon reddens giantism.; int4 & sent8 -> hypothesis;
the fact that the rejuvenation does redden giantism and/or is not a Pomacentrus does not hold.
sent14 -> int5: if the switch is igneous that it does not redden tampon and buttresses is false.; sent6 -> int6: if the guyot is not a tweet then it is a Fox that does not kibitz.; sent12 -> int7: there exists something such that that it is noncombustible and/or it is non-phocine is false.; int7 & sent4 -> int8: the guyot is not a tweet.; int6 & int8 -> int9: the guyot is a kind of a Fox but it does not kibitz.; sent11 & int9 -> int10: that the idesia does not kibitz is correct.; sent9 & int10 -> int11: the switch is igneous and it is Himalayan.; int11 -> int12: the switch is igneous.; int5 & int12 -> int13: that the switch does not redden tampon but it is a buttress is not correct.; int13 -> int14: there exists something such that that it does not redden tampon and it buttresses is not right.;
$hypothesis$ = the fact that either the rejuvenation reddens giantism or it is not a Pomacentrus or both does not hold. ; $context$ = sent1: the tampon does redden giantism if it is a Fulani. sent2: if the radiotelephone is not a Fulani that either the rejuvenation reddens giantism or it is not a kind of a Pomacentrus or both is wrong. sent3: if something does not redden songbird and is a Pomacentrus it does redden Thymus. sent4: the guyot does not tweet if there is something such that that it is noncombustible and/or is not phocine is wrong. sent5: everything does not redden Thymus and it reddens songbird. sent6: something is a Fox and does not kibitz if it is not a kind of a tweet. sent7: something is a Fulani if it does not redden Thymus and it does redden songbird. sent8: if that the tampon reddens giantism hold that the rejuvenation reddens giantism and/or is not a Pomacentrus is not incorrect. sent9: if the idesia does not kibitz then the switch is both igneous and Himalayan. sent10: the tampon is not a kind of a Pomacentrus. sent11: the idesia does not kibitz if the guyot is a kind of a Fox and does not kibitz. sent12: the fact that either the breadstick is not combustible or it is not phocine or both is wrong. sent13: everything does not redden Thymus. sent14: that that something does not redden tampon but it is a kind of a buttress is wrong if it is igneous is not wrong. ; $proof$ = 
sent5 -> int1: the tampon does not redden Thymus and reddens songbird.; sent7 -> int2: that the tampon is a Fulani is correct if it does not redden Thymus and does redden songbird.; int1 & int2 -> int3: the tampon is a kind of a Fulani.; int3 & sent1 -> int4: the tampon reddens giantism.; int4 & sent8 -> hypothesis; __DISPROVED__