the phellem is a kind of a anarthria.
sent1: that the props cases Xenorhyncus but it does not turf Demogorgon is false. sent2: the phellem is not a kind of a calomel if that the fact that the Modicon is both a twinkle and not long-distance is not true is not false. sent3: the Modicon does case Xenorhyncus if the fact that the props does case Xenorhyncus but it does not turf Demogorgon is not right. sent4: if something is not a calomel then it is not a kind of a anarthria. sent5: if something cases Xenorhyncus then it solarizes. sent6: if something does twinkle but it is not long-distance then it does not solarize.
sent6 -> int1: that the Modicon does not solarize is right if the fact that it is a twinkle and is not long-distance is not wrong.; void -> assump1: Let's assume that the Modicon does twinkle and is not long-distance.; int1 & assump1 -> int2: the Modicon does not solarize.; sent5 -> int3: the Modicon solarizes if it does case Xenorhyncus.; sent3 & sent1 -> int4: the Modicon does case Xenorhyncus.; int3 & int4 -> int5: that the Modicon solarizes is not wrong.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the Modicon twinkles but it is not long-distance is wrong.; int7 & sent2 -> int8: the phellem is not a kind of a calomel.; sent4 -> int9: that the phellem is not a anarthria is right if the fact that it is not a kind of a calomel is not wrong.; int8 & int9 -> hypothesis;
$hypothesis$ = the phellem is a kind of a anarthria. ; $context$ = sent1: that the props cases Xenorhyncus but it does not turf Demogorgon is false. sent2: the phellem is not a kind of a calomel if that the fact that the Modicon is both a twinkle and not long-distance is not true is not false. sent3: the Modicon does case Xenorhyncus if the fact that the props does case Xenorhyncus but it does not turf Demogorgon is not right. sent4: if something is not a calomel then it is not a kind of a anarthria. sent5: if something cases Xenorhyncus then it solarizes. sent6: if something does twinkle but it is not long-distance then it does not solarize. ; $proof$ = 
sent6 -> int1: that the Modicon does not solarize is right if the fact that it is a twinkle and is not long-distance is not wrong.; void -> assump1: Let's assume that the Modicon does twinkle and is not long-distance.; int1 & assump1 -> int2: the Modicon does not solarize.; sent5 -> int3: the Modicon solarizes if it does case Xenorhyncus.; sent3 & sent1 -> int4: the Modicon does case Xenorhyncus.; int3 & int4 -> int5: that the Modicon solarizes is not wrong.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the Modicon twinkles but it is not long-distance is wrong.; int7 & sent2 -> int8: the phellem is not a kind of a calomel.; sent4 -> int9: that the phellem is not a anarthria is right if the fact that it is not a kind of a calomel is not wrong.; int8 & int9 -> hypothesis; __DISPROVED__