the tissue is epicyclic.
sent1: that the seashell is not a kind of a WIMP but it is a eclat is false if it does induce covered. sent2: the seashell is not a eclat if the fact that it is not a WIMP and it is a eclat is wrong. sent3: the phycobilin is not a kind of a lane if something that grates Odyssey is epicyclic. sent4: if something is not a kind of a lane then it is both not colonic and a eclat. sent5: the seashell induces covered. sent6: if there exists something such that it is not a kind of a eclat then that the phycobilin is not a kind of a colonic but it is a eclat is not correct. sent7: The covered induces seashell. sent8: the tissue does grate Odyssey and it is a Mithraism.
sent8 -> int1: the tissue does grate Odyssey.; void -> assump1: Let's assume that the tissue is epicyclic.; int1 & assump1 -> int2: the tissue does grate Odyssey and is epicyclic.; int2 -> int3: something grates Odyssey and it is epicyclic.; int3 & sent3 -> int4: the phycobilin is not a lane.; sent4 -> int5: the phycobilin is not colonic but it is a kind of a eclat if it is not a kind of a lane.; int4 & int5 -> int6: the phycobilin is not a colonic but it is a eclat.; sent1 & sent5 -> int7: that the seashell is not a WIMP and is a kind of a eclat does not hold.; sent2 & int7 -> int8: the seashell is not a kind of a eclat.; int8 -> int9: there exists something such that it is not a eclat.; int9 & sent6 -> int10: that the phycobilin is non-colonic a eclat is not correct.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
$hypothesis$ = the tissue is epicyclic. ; $context$ = sent1: that the seashell is not a kind of a WIMP but it is a eclat is false if it does induce covered. sent2: the seashell is not a eclat if the fact that it is not a WIMP and it is a eclat is wrong. sent3: the phycobilin is not a kind of a lane if something that grates Odyssey is epicyclic. sent4: if something is not a kind of a lane then it is both not colonic and a eclat. sent5: the seashell induces covered. sent6: if there exists something such that it is not a kind of a eclat then that the phycobilin is not a kind of a colonic but it is a eclat is not correct. sent7: The covered induces seashell. sent8: the tissue does grate Odyssey and it is a Mithraism. ; $proof$ = 
sent8 -> int1: the tissue does grate Odyssey.; void -> assump1: Let's assume that the tissue is epicyclic.; int1 & assump1 -> int2: the tissue does grate Odyssey and is epicyclic.; int2 -> int3: something grates Odyssey and it is epicyclic.; int3 & sent3 -> int4: the phycobilin is not a lane.; sent4 -> int5: the phycobilin is not colonic but it is a kind of a eclat if it is not a kind of a lane.; int4 & int5 -> int6: the phycobilin is not a colonic but it is a eclat.; sent1 & sent5 -> int7: that the seashell is not a WIMP and is a kind of a eclat does not hold.; sent2 & int7 -> int8: the seashell is not a kind of a eclat.; int8 -> int9: there exists something such that it is not a eclat.; int9 & sent6 -> int10: that the phycobilin is non-colonic a eclat is not correct.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __DISPROVED__