there is something such that it is a UTC and unscientific.
sent1: that the sage is not a UTC is correct. sent2: the chitin is not a kind of a M-theory and it does not decrease cabochon. sent3: the cudgel is a plebiscite if something is a kind of a UTC. sent4: if there is something such that it is unscientific the cudgel is a tough. sent5: if the cudgel is a tough and it is a M-theory then it is a UTC. sent6: if the chitin enfeoffs overflow but it is not a nibble it is a high-spiritedness. sent7: something is a M-theory and/or it does decrease cabochon. sent8: if something is a kind of a tough that is not a plebiscite it does decrease cabochon. sent9: the cudgel decreases cabochon. sent10: if the cudgel does decrease cabochon and is not a plebiscite then it is a UTC. sent11: something is a M-theory and it is a kind of a UTC. sent12: there exists something such that either it does breed or it does start Heyerdahl or both. sent13: the chitin is not a UTC. sent14: if the fact that the chitin is a tough and not a plebiscite is incorrect the cudgel is a kind of a UTC. sent15: the chitin is a tough but it is not a UTC. sent16: the chitin is not a proposition. sent17: the cudgel is not scientific if something decreases bicker and/or is scientific. sent18: a Armadillidium that is not wetting does enfeoff Retama.
sent8 -> int1: if the chitin is a kind of a tough but it is not a kind of a plebiscite then it decreases cabochon.; void -> assump1: Let's assume that the chitin is a tough but it is not a kind of a plebiscite.; int1 & assump1 -> int2: the chitin does decrease cabochon.; sent2 -> int3: the chitin does not decrease cabochon.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the chitin is a kind of tough thing that is not a kind of a plebiscite does not hold.; int5 & sent14 -> int6: the cudgel is a UTC.;
$hypothesis$ = there is something such that it is a UTC and unscientific. ; $context$ = sent1: that the sage is not a UTC is correct. sent2: the chitin is not a kind of a M-theory and it does not decrease cabochon. sent3: the cudgel is a plebiscite if something is a kind of a UTC. sent4: if there is something such that it is unscientific the cudgel is a tough. sent5: if the cudgel is a tough and it is a M-theory then it is a UTC. sent6: if the chitin enfeoffs overflow but it is not a nibble it is a high-spiritedness. sent7: something is a M-theory and/or it does decrease cabochon. sent8: if something is a kind of a tough that is not a plebiscite it does decrease cabochon. sent9: the cudgel decreases cabochon. sent10: if the cudgel does decrease cabochon and is not a plebiscite then it is a UTC. sent11: something is a M-theory and it is a kind of a UTC. sent12: there exists something such that either it does breed or it does start Heyerdahl or both. sent13: the chitin is not a UTC. sent14: if the fact that the chitin is a tough and not a plebiscite is incorrect the cudgel is a kind of a UTC. sent15: the chitin is a tough but it is not a UTC. sent16: the chitin is not a proposition. sent17: the cudgel is not scientific if something decreases bicker and/or is scientific. sent18: a Armadillidium that is not wetting does enfeoff Retama. ; $proof$ = 
sent8 -> int1: if the chitin is a kind of a tough but it is not a kind of a plebiscite then it decreases cabochon.; void -> assump1: Let's assume that the chitin is a tough but it is not a kind of a plebiscite.; int1 & assump1 -> int2: the chitin does decrease cabochon.; sent2 -> int3: the chitin does not decrease cabochon.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the chitin is a kind of tough thing that is not a kind of a plebiscite does not hold.; int5 & sent14 -> int6: the cudgel is a UTC.; __UNKNOWN__