the fabric is not alular.
sent1: the bowfin is a bullhead that is not a glossarist. sent2: the newcomer is syntagmatic. sent3: the fabric is not alular if the bowfin etymologizes and it is not non-syntagmatic. sent4: if something is not syntagmatic it is a Phoenicurus. sent5: the fact that something is both a bullhead and not a glossarist is not correct if that it is a Phoenicurus is not false. sent6: the bowfin does etymologize.
sent4 -> int1: if the bowfin is not syntagmatic it is a kind of a Phoenicurus.; void -> assump1: Let's assume that the bowfin is not syntagmatic.; int1 & assump1 -> int2: the bowfin is a kind of a Phoenicurus.; sent5 -> int3: that the bowfin is a kind of a bullhead that is not a kind of a glossarist is not correct if it is a Phoenicurus.; int2 & int3 -> int4: that the bowfin is a bullhead that is not a glossarist does not hold.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bowfin is syntagmatic.; int6 & sent6 -> int7: the bowfin etymologizes and it is syntagmatic.; int7 & sent3 -> hypothesis;
$hypothesis$ = the fabric is not alular. ; $context$ = sent1: the bowfin is a bullhead that is not a glossarist. sent2: the newcomer is syntagmatic. sent3: the fabric is not alular if the bowfin etymologizes and it is not non-syntagmatic. sent4: if something is not syntagmatic it is a Phoenicurus. sent5: the fact that something is both a bullhead and not a glossarist is not correct if that it is a Phoenicurus is not false. sent6: the bowfin does etymologize. ; $proof$ = 
sent4 -> int1: if the bowfin is not syntagmatic it is a kind of a Phoenicurus.; void -> assump1: Let's assume that the bowfin is not syntagmatic.; int1 & assump1 -> int2: the bowfin is a kind of a Phoenicurus.; sent5 -> int3: that the bowfin is a kind of a bullhead that is not a kind of a glossarist is not correct if it is a Phoenicurus.; int2 & int3 -> int4: that the bowfin is a bullhead that is not a glossarist does not hold.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bowfin is syntagmatic.; int6 & sent6 -> int7: the bowfin etymologizes and it is syntagmatic.; int7 & sent3 -> hypothesis; __PROVED__