the gastroscope is prosodic but it is not a kind of a corynebacterium.
sent1: that the Mandarin coxes and is not harmless is false. sent2: the ylem does index squeamishness if that the Mandarin coxes but it is not harmless is false. sent3: if something distrains and does cox then it is not cardiologic. sent4: the ylem is a Spark. sent5: something is non-prosodic if it is not a kind of a Algonquian. sent6: the cofounder is discernible and it is merciless. sent7: something does not index squeamishness if it is a Spark and Algonquian. sent8: the fact that the fact that the gastroscope is prosodic and is not a corynebacterium is wrong if the ylem is not prosodic is not wrong. sent9: if the Mandarin is not a corynebacterium then the fact that the gastroscope is a corynebacterium and it is harmless is not right.
void -> assump1: Let's assume that the ylem is a kind of a Algonquian.; sent4 & assump1 -> int1: the ylem is a Spark and is a Algonquian.; sent7 -> int2: the ylem does not index squeamishness if it is a Spark and it is a kind of a Algonquian.; int1 & int2 -> int3: the ylem does not index squeamishness.; sent2 & sent1 -> int4: the fact that the ylem does index squeamishness is true.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the ylem is not Algonquian.; sent5 -> int7: that the ylem is not prosodic hold if it is not a kind of a Algonquian.; int6 & int7 -> int8: the ylem is non-prosodic.; int8 & sent8 -> hypothesis;
the trainer is not cardiologic if it does distrain and it does cox.
sent3 -> hypothesis;
$hypothesis$ = the gastroscope is prosodic but it is not a kind of a corynebacterium. ; $context$ = sent1: that the Mandarin coxes and is not harmless is false. sent2: the ylem does index squeamishness if that the Mandarin coxes but it is not harmless is false. sent3: if something distrains and does cox then it is not cardiologic. sent4: the ylem is a Spark. sent5: something is non-prosodic if it is not a kind of a Algonquian. sent6: the cofounder is discernible and it is merciless. sent7: something does not index squeamishness if it is a Spark and Algonquian. sent8: the fact that the fact that the gastroscope is prosodic and is not a corynebacterium is wrong if the ylem is not prosodic is not wrong. sent9: if the Mandarin is not a corynebacterium then the fact that the gastroscope is a corynebacterium and it is harmless is not right. ; $proof$ = 
void -> assump1: Let's assume that the ylem is a kind of a Algonquian.; sent4 & assump1 -> int1: the ylem is a Spark and is a Algonquian.; sent7 -> int2: the ylem does not index squeamishness if it is a Spark and it is a kind of a Algonquian.; int1 & int2 -> int3: the ylem does not index squeamishness.; sent2 & sent1 -> int4: the fact that the ylem does index squeamishness is true.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the ylem is not Algonquian.; sent5 -> int7: that the ylem is not prosodic hold if it is not a kind of a Algonquian.; int6 & int7 -> int8: the ylem is non-prosodic.; int8 & sent8 -> hypothesis; __DISPROVED__