that there is something such that if it does not chirk and it is a station that it is a kind of a wailer is correct is not true.
sent1: if something that is not a kind of a wailer is a Semitic then it does thrombose woof. sent2: something is a wailer if it does not chirk and is a station. sent3: the fact that there exists something such that if it does chirk and it is a station then it is a wailer is not wrong.
sent2 -> int1: the Abkhazian is a kind of a wailer if it does not chirk and it is a kind of a station.; int1 -> hypothesis;
if the chef is not a wailer but it is not non-Semitic then it does thrombose woof.
sent1 -> hypothesis;
$hypothesis$ = that there is something such that if it does not chirk and it is a station that it is a kind of a wailer is correct is not true. ; $context$ = sent1: if something that is not a kind of a wailer is a Semitic then it does thrombose woof. sent2: something is a wailer if it does not chirk and is a station. sent3: the fact that there exists something such that if it does chirk and it is a station then it is a wailer is not wrong. ; $proof$ = 
sent2 -> int1: the Abkhazian is a kind of a wailer if it does not chirk and it is a kind of a station.; int1 -> hypothesis; __DISPROVED__