that the courtier is a folktale and it reddens diverseness does not hold.
sent1: if that the starfish does not modify and it does not crucify bawdry is false then the four-spot is powerful. sent2: if something is not unseaworthy it is non-immune. sent3: if that something is not unseaworthy is true it does not cluster and is not an immune. sent4: that the Porter is not unseaworthy is right. sent5: if the fact that the Porter does not cluster hold that the starfish does not modify and does not crucify bawdry is false. sent6: the courtier reddens diverseness. sent7: if the four-spot is powerful the courtier is a folktale. sent8: if something is powerful then that it does modify and does not crucify bawdry does not hold. sent9: the fact that the starfish does not modify but it does crucify bawdry is incorrect if the fact that the Porter does not cluster hold. sent10: if the starfish crucifies bawdry the four-spot is powerful. sent11: The diverseness reddens courtier. sent12: that the Porter is not an immune is right. sent13: the fact that the starfish does not modify but it crucifies bawdry is false.
sent3 -> int1: the Porter does not cluster and it is not a kind of an immune if it is not unseaworthy.; int1 & sent4 -> int2: the Porter does not cluster and it is not an immune.; int2 -> int3: that the Porter does not cluster hold.; int3 & sent5 -> int4: the fact that the starfish does not modify and does not crucify bawdry does not hold.; int4 & sent1 -> int5: the four-spot is powerful.; int5 & sent7 -> int6: the courtier is a kind of a folktale.; int6 & sent6 -> hypothesis;
the fact that the courtier is a folktale and it does redden diverseness is incorrect.
sent8 -> int7: if that the starfish is not non-powerful is not wrong that it does modify and does not crucify bawdry is false.;
$hypothesis$ = that the courtier is a folktale and it reddens diverseness does not hold. ; $context$ = sent1: if that the starfish does not modify and it does not crucify bawdry is false then the four-spot is powerful. sent2: if something is not unseaworthy it is non-immune. sent3: if that something is not unseaworthy is true it does not cluster and is not an immune. sent4: that the Porter is not unseaworthy is right. sent5: if the fact that the Porter does not cluster hold that the starfish does not modify and does not crucify bawdry is false. sent6: the courtier reddens diverseness. sent7: if the four-spot is powerful the courtier is a folktale. sent8: if something is powerful then that it does modify and does not crucify bawdry does not hold. sent9: the fact that the starfish does not modify but it does crucify bawdry is incorrect if the fact that the Porter does not cluster hold. sent10: if the starfish crucifies bawdry the four-spot is powerful. sent11: The diverseness reddens courtier. sent12: that the Porter is not an immune is right. sent13: the fact that the starfish does not modify but it crucifies bawdry is false. ; $proof$ = 
sent3 -> int1: the Porter does not cluster and it is not a kind of an immune if it is not unseaworthy.; int1 & sent4 -> int2: the Porter does not cluster and it is not an immune.; int2 -> int3: that the Porter does not cluster hold.; int3 & sent5 -> int4: the fact that the starfish does not modify and does not crucify bawdry does not hold.; int4 & sent1 -> int5: the four-spot is powerful.; int5 & sent7 -> int6: the courtier is a kind of a folktale.; int6 & sent6 -> hypothesis; __DISPROVED__