there exists something such that if the fact that it is facultative hold it is both a leaven and not air-to-surface.
sent1: the gorse does not pitch gorse if it is a kind of a leaven. sent2: if something is facultative then that it is not air-to-surface is not incorrect. sent3: something is facultative but it is not implacable if it is domiciliary. sent4: there is something such that if it is facultative it is not air-to-surface. sent5: if the fact that the gorse does pitch knife is correct then it is a kind of air-to-surface thing that is not Judaic. sent6: the knife is not heteroecious if the fact that it is facultative is not false. sent7: something is a kind of a leaven that is not air-to-surface if that it is facultative is not wrong.
sent7 -> int1: the gorse is a leaven and is not air-to-surface if the fact that it is facultative is true.; int1 -> hypothesis;
the plimsoll is facultative but it is not implacable if it is domiciliary.
sent3 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is facultative hold it is both a leaven and not air-to-surface. ; $context$ = sent1: the gorse does not pitch gorse if it is a kind of a leaven. sent2: if something is facultative then that it is not air-to-surface is not incorrect. sent3: something is facultative but it is not implacable if it is domiciliary. sent4: there is something such that if it is facultative it is not air-to-surface. sent5: if the fact that the gorse does pitch knife is correct then it is a kind of air-to-surface thing that is not Judaic. sent6: the knife is not heteroecious if the fact that it is facultative is not false. sent7: something is a kind of a leaven that is not air-to-surface if that it is facultative is not wrong. ; $proof$ = 
sent7 -> int1: the gorse is a leaven and is not air-to-surface if the fact that it is facultative is true.; int1 -> hypothesis; __PROVED__