the clarinetist is a kind of a Chinese.
sent1: the clarinetist is not a Sabahan if that the euphorbium is not a Anthonomus hold. sent2: the clarinetist is Chinese if the coneflower is a dissatisfaction and is not Chinese. sent3: the arthroscope is not a Sabahan. sent4: if that the clarinetist is a kind of non-Sabahan a wink is not wrong then that it is not a Chinese hold. sent5: if the arthroscope is not comparative then the euphorbium is not a Anthonomus. sent6: if there is something such that it is a dissatisfaction then that the coneflower does not froth is not true. sent7: the coneflower is not a Chinese. sent8: that the clarinetist is not a kind of a Sabahan is right. sent9: there exists something such that it is a dissatisfaction. sent10: if the coneflower froths or it does enliven sidesplitter or both the arthroscope is not a kind of a comparative. sent11: if the arthroscope does not froth the coneflower is a dissatisfaction but not Chinese. sent12: if the coneflower does enliven sidesplitter the arthroscope is not a kind of a comparative. sent13: the arthroscope does not forbid but it is a nympholepsy. sent14: the fact that the tachometer is not a wink is not incorrect if that the coneflower is not a dissatisfaction is correct. sent15: the clarinetist is not Chinese if it is a Sabahan and does wink. sent16: that the clarinetist is non-Sabahan a wink hold if the euphorbium is not a Anthonomus.
sent9 & sent6 -> int1: the coneflower does froth.; int1 -> int2: the coneflower froths and/or it enlivens sidesplitter.; int2 & sent10 -> int3: the arthroscope is not comparative.; int3 & sent5 -> int4: the euphorbium is not a Anthonomus.; int4 & sent16 -> int5: the clarinetist is not a Sabahan and is a kind of a wink.; int5 & sent4 -> hypothesis;
the clarinetist is a kind of a Chinese.
$hypothesis$ = the clarinetist is a kind of a Chinese. ; $context$ = sent1: the clarinetist is not a Sabahan if that the euphorbium is not a Anthonomus hold. sent2: the clarinetist is Chinese if the coneflower is a dissatisfaction and is not Chinese. sent3: the arthroscope is not a Sabahan. sent4: if that the clarinetist is a kind of non-Sabahan a wink is not wrong then that it is not a Chinese hold. sent5: if the arthroscope is not comparative then the euphorbium is not a Anthonomus. sent6: if there is something such that it is a dissatisfaction then that the coneflower does not froth is not true. sent7: the coneflower is not a Chinese. sent8: that the clarinetist is not a kind of a Sabahan is right. sent9: there exists something such that it is a dissatisfaction. sent10: if the coneflower froths or it does enliven sidesplitter or both the arthroscope is not a kind of a comparative. sent11: if the arthroscope does not froth the coneflower is a dissatisfaction but not Chinese. sent12: if the coneflower does enliven sidesplitter the arthroscope is not a kind of a comparative. sent13: the arthroscope does not forbid but it is a nympholepsy. sent14: the fact that the tachometer is not a wink is not incorrect if that the coneflower is not a dissatisfaction is correct. sent15: the clarinetist is not Chinese if it is a Sabahan and does wink. sent16: that the clarinetist is non-Sabahan a wink hold if the euphorbium is not a Anthonomus. ; $proof$ = 
sent9 & sent6 -> int1: the coneflower does froth.; int1 -> int2: the coneflower froths and/or it enlivens sidesplitter.; int2 & sent10 -> int3: the arthroscope is not comparative.; int3 & sent5 -> int4: the euphorbium is not a Anthonomus.; int4 & sent16 -> int5: the clarinetist is not a Sabahan and is a kind of a wink.; int5 & sent4 -> hypothesis; __DISPROVED__