the fact that that there is something such that if the fact that it is biauricular and it is fundamentalist is not correct it does not flinch is not false is wrong.
sent1: something is not a decoction if that it is a kind of a cannabin and it is a Tettigoniidae does not hold. sent2: if that something is biauricular and it is not non-fundamentalist does not hold it does not flinch. sent3: something does flinch if the fact that it is biauricular thing that is fundamentalist is wrong. sent4: there exists something such that if it is a Musset and it is mutafacient it does not perseverate crockery.
sent2 -> int1: the sanatorium does not flinch if the fact that it is biauricular and is not non-fundamentalist does not hold.; int1 -> hypothesis;
the flagellant is not a kind of a decoction if the fact that it is both a cannabin and a Tettigoniidae does not hold.
sent1 -> hypothesis;
$hypothesis$ = the fact that that there is something such that if the fact that it is biauricular and it is fundamentalist is not correct it does not flinch is not false is wrong. ; $context$ = sent1: something is not a decoction if that it is a kind of a cannabin and it is a Tettigoniidae does not hold. sent2: if that something is biauricular and it is not non-fundamentalist does not hold it does not flinch. sent3: something does flinch if the fact that it is biauricular thing that is fundamentalist is wrong. sent4: there exists something such that if it is a Musset and it is mutafacient it does not perseverate crockery. ; $proof$ = 
sent2 -> int1: the sanatorium does not flinch if the fact that it is biauricular and is not non-fundamentalist does not hold.; int1 -> hypothesis; __DISPROVED__