the sledder does render lightship and is not a kind of a bitterness.
sent1: if the fact that something is a bitterness and is senior is incorrect it is not a bitterness. sent2: if the madwoman is senior then the puttyroot does rendezvous unlawfulness. sent3: the puttyroot is a shogi and does pleach labyrinth if the lightship is not a kind of a senior. sent4: if the lightship renders lightship then the sledder does renders lightship. sent5: that the sledder does render lightship is right if the lightship is a shogi. sent6: the puttyroot pleaches labyrinth. sent7: if there exists something such that it pleaches labyrinth then the fact that the lightship renders lightship and/or is a shogi is not incorrect. sent8: the fact that the sledder renders lightship but it is not a kind of a bitterness is not correct if something rendezvous unlawfulness. sent9: if the madwoman does rendezvous Marcionism that it rendezvous unlawfulness and is not an omen is false. sent10: if the lightship is a shogi that the madwoman is a senior is correct. sent11: The labyrinth does pleach lightship. sent12: the lightship does pleach labyrinth. sent13: the lightship is a shogi if it does pleach labyrinth. sent14: if something does pleach labyrinth it is a kind of a bitterness.
sent13 & sent12 -> int1: the fact that the lightship is a shogi hold.; sent10 & int1 -> int2: the fact that the madwoman is senior is not wrong.; sent2 & int2 -> int3: the puttyroot does rendezvous unlawfulness.; int3 -> int4: there is something such that that it does rendezvous unlawfulness is right.; int4 & sent8 -> hypothesis;
the sledder renders lightship but it is not a kind of a bitterness.
sent6 -> int5: there is something such that it does pleach labyrinth.; int5 & sent7 -> int6: either the lightship does render lightship or it is a kind of a shogi or both.; int6 & sent4 & sent5 -> int7: the sledder renders lightship.; sent1 -> int8: the sledder is not a bitterness if that it is a kind of a bitterness and it is a kind of a senior is not correct.;
$hypothesis$ = the sledder does render lightship and is not a kind of a bitterness. ; $context$ = sent1: if the fact that something is a bitterness and is senior is incorrect it is not a bitterness. sent2: if the madwoman is senior then the puttyroot does rendezvous unlawfulness. sent3: the puttyroot is a shogi and does pleach labyrinth if the lightship is not a kind of a senior. sent4: if the lightship renders lightship then the sledder does renders lightship. sent5: that the sledder does render lightship is right if the lightship is a shogi. sent6: the puttyroot pleaches labyrinth. sent7: if there exists something such that it pleaches labyrinth then the fact that the lightship renders lightship and/or is a shogi is not incorrect. sent8: the fact that the sledder renders lightship but it is not a kind of a bitterness is not correct if something rendezvous unlawfulness. sent9: if the madwoman does rendezvous Marcionism that it rendezvous unlawfulness and is not an omen is false. sent10: if the lightship is a shogi that the madwoman is a senior is correct. sent11: The labyrinth does pleach lightship. sent12: the lightship does pleach labyrinth. sent13: the lightship is a shogi if it does pleach labyrinth. sent14: if something does pleach labyrinth it is a kind of a bitterness. ; $proof$ = 
sent13 & sent12 -> int1: the fact that the lightship is a shogi hold.; sent10 & int1 -> int2: the fact that the madwoman is senior is not wrong.; sent2 & int2 -> int3: the puttyroot does rendezvous unlawfulness.; int3 -> int4: there is something such that that it does rendezvous unlawfulness is right.; int4 & sent8 -> hypothesis; __DISPROVED__