that the Dravidian is not Nicaraguan is not false.
sent1: if the Dravidian fumbles Lutheran it is a Nicaraguan. sent2: if something does slice B-girl the fact that it is a conditioner and is not a kind of a Kachaturian is not true. sent3: The Lutheran fumbles B-girl. sent4: that the cinchona is a frequency is not wrong if the B-girl is not a frequency. sent5: the B-girl is not a frequency if the cyclamen either does not fumble Lutheran or is not interstitial or both. sent6: the fact that the Dravidian is a frequency is correct if the cyclamen is interstitial. sent7: the B-girl is not non-interstitial and not a frequency if the cyclamen is not monophonic. sent8: the cyclamen is interstitial if the B-girl fumbles Lutheran. sent9: the B-girl fumbles Lutheran. sent10: the fact that the warrior is a frequency is right. sent11: the Dravidian is interstitial if the B-girl is interstitial but it is not a frequency. sent12: something is non-monophonic if that it is a conditioner and not a Kachaturian is not true. sent13: something is a kind of a Nicaraguan if it is a kind of a frequency. sent14: if something is interstitial it is a kind of non-Nicaraguan thing that does not fumble Lutheran. sent15: the B-girl is a kind of a Nicaraguan.
sent8 & sent9 -> int1: the cyclamen is interstitial.; int1 & sent6 -> int2: the Dravidian is a kind of a frequency.; sent13 -> int3: the Dravidian is a kind of a Nicaraguan if that it is a frequency is not false.; int2 & int3 -> hypothesis;
the cinchona is a frequency.
$hypothesis$ = that the Dravidian is not Nicaraguan is not false. ; $context$ = sent1: if the Dravidian fumbles Lutheran it is a Nicaraguan. sent2: if something does slice B-girl the fact that it is a conditioner and is not a kind of a Kachaturian is not true. sent3: The Lutheran fumbles B-girl. sent4: that the cinchona is a frequency is not wrong if the B-girl is not a frequency. sent5: the B-girl is not a frequency if the cyclamen either does not fumble Lutheran or is not interstitial or both. sent6: the fact that the Dravidian is a frequency is correct if the cyclamen is interstitial. sent7: the B-girl is not non-interstitial and not a frequency if the cyclamen is not monophonic. sent8: the cyclamen is interstitial if the B-girl fumbles Lutheran. sent9: the B-girl fumbles Lutheran. sent10: the fact that the warrior is a frequency is right. sent11: the Dravidian is interstitial if the B-girl is interstitial but it is not a frequency. sent12: something is non-monophonic if that it is a conditioner and not a Kachaturian is not true. sent13: something is a kind of a Nicaraguan if it is a kind of a frequency. sent14: if something is interstitial it is a kind of non-Nicaraguan thing that does not fumble Lutheran. sent15: the B-girl is a kind of a Nicaraguan. ; $proof$ = 
sent8 & sent9 -> int1: the cyclamen is interstitial.; int1 & sent6 -> int2: the Dravidian is a kind of a frequency.; sent13 -> int3: the Dravidian is a kind of a Nicaraguan if that it is a frequency is not false.; int2 & int3 -> hypothesis; __DISPROVED__