that the aeration is not a blackbird but it does flake Cowper does not hold.
sent1: if the aeration is not a bellows then it is not a kind of a blackbird. sent2: if the aeration is a Scomberomorus then it is not a kind of a parer. sent3: if there is something such that it is non-home and a arteriography then the aeration is a parer. sent4: the aeration is not a kind of a blackbird and does flake Cowper if it does not bellow. sent5: if the aeration is not a Scomberomorus then it is both a moldboard and not a mariticide. sent6: something is a blackbird and it is a kind of a bellows. sent7: something is a Scomberomorus and it is not non-blackbird. sent8: if the aeration is a moldboard but not a mariticide it does not bellow. sent9: the stopwatch is a moldboard and is a mariticide. sent10: something is a moldboard if the fact that it is not a kind of a moldboard and it is not a mariticide is not correct. sent11: if the aeration is not a antimony then the fact that it does flake unpermissiveness and is not a inclinometer is not incorrect. sent12: something is a Scomberomorus if it is not a kind of a parer and/or it is a Scomberomorus. sent13: something is non-home a arteriography. sent14: the aeration is a Abukir.
void -> assump1: Let's assume that the aeration is a Scomberomorus.; sent2 & assump1 -> int1: the aeration is not a parer.; sent13 & sent3 -> int2: the aeration is a kind of a parer.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the aeration is not a Scomberomorus.; int4 & sent5 -> int5: the aeration is a moldboard but it is not a mariticide.; int5 & sent8 -> int6: the aeration is not a kind of a bellows.; int6 & sent4 -> hypothesis;
the projection does home.
sent10 -> int7: the stopwatch is a kind of a moldboard if the fact that it is not a moldboard and not a mariticide is not correct.;
$hypothesis$ = that the aeration is not a blackbird but it does flake Cowper does not hold. ; $context$ = sent1: if the aeration is not a bellows then it is not a kind of a blackbird. sent2: if the aeration is a Scomberomorus then it is not a kind of a parer. sent3: if there is something such that it is non-home and a arteriography then the aeration is a parer. sent4: the aeration is not a kind of a blackbird and does flake Cowper if it does not bellow. sent5: if the aeration is not a Scomberomorus then it is both a moldboard and not a mariticide. sent6: something is a blackbird and it is a kind of a bellows. sent7: something is a Scomberomorus and it is not non-blackbird. sent8: if the aeration is a moldboard but not a mariticide it does not bellow. sent9: the stopwatch is a moldboard and is a mariticide. sent10: something is a moldboard if the fact that it is not a kind of a moldboard and it is not a mariticide is not correct. sent11: if the aeration is not a antimony then the fact that it does flake unpermissiveness and is not a inclinometer is not incorrect. sent12: something is a Scomberomorus if it is not a kind of a parer and/or it is a Scomberomorus. sent13: something is non-home a arteriography. sent14: the aeration is a Abukir. ; $proof$ = 
void -> assump1: Let's assume that the aeration is a Scomberomorus.; sent2 & assump1 -> int1: the aeration is not a parer.; sent13 & sent3 -> int2: the aeration is a kind of a parer.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the aeration is not a Scomberomorus.; int4 & sent5 -> int5: the aeration is a moldboard but it is not a mariticide.; int5 & sent8 -> int6: the aeration is not a kind of a bellows.; int6 & sent4 -> hypothesis; __DISPROVED__