the fact that there is something such that if the fact that it is a subscript and is not a postgraduate is false it is competitive is not true.
sent1: the goatsbeard is competitive if that it is a kind of a subscript and it is a kind of a postgraduate is wrong. sent2: if a gallamine is not coital it is anticlinal. sent3: if that something is a kind of a subscript that is not a postgraduate is incorrect then it is competitive. sent4: there is something such that if the fact that it is not subscript is not false it is competitive.
sent3 -> int1: the goatsbeard is competitive if that it is a subscript and it is not a postgraduate is not correct.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it is a subscript and is not a postgraduate is false it is competitive is not true. ; $context$ = sent1: the goatsbeard is competitive if that it is a kind of a subscript and it is a kind of a postgraduate is wrong. sent2: if a gallamine is not coital it is anticlinal. sent3: if that something is a kind of a subscript that is not a postgraduate is incorrect then it is competitive. sent4: there is something such that if the fact that it is not subscript is not false it is competitive. ; $proof$ = 
sent3 -> int1: the goatsbeard is competitive if that it is a subscript and it is not a postgraduate is not correct.; int1 -> hypothesis; __DISPROVED__