the bap is not granulocytic.
sent1: if the maillot is a kind of a narrow-mindedness it is unadoptable and it is not a pulsar. sent2: the maillot is a narrow-mindedness. sent3: if the maillot is not untraceable the bap is granulocytic. sent4: if something is unadoptable but not a pulsar it is not a kind of a Phaethontidae. sent5: something is a kind of a Phaethontidae if it is not traceable. sent6: if something is granulocytic and it is a Phaethontidae then it is not traceable.
sent5 -> int1: the fact that the maillot is a Phaethontidae is not false if that it is untraceable is right.; void -> assump1: Let's assume that the maillot is not traceable.; int1 & assump1 -> int2: the maillot is a Phaethontidae.; sent4 -> int3: if the maillot is a kind of unadoptable thing that is not a kind of a pulsar it is not a kind of a Phaethontidae.; sent1 & sent2 -> int4: that the maillot is unadoptable but it is not a kind of a pulsar is right.; int3 & int4 -> int5: the maillot is not a kind of a Phaethontidae.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the maillot is traceable hold.; int7 & sent3 -> hypothesis;
the butte is not traceable.
sent6 -> int8: if the butte is granulocytic thing that is a kind of a Phaethontidae then that it is not traceable is true.;
$hypothesis$ = the bap is not granulocytic. ; $context$ = sent1: if the maillot is a kind of a narrow-mindedness it is unadoptable and it is not a pulsar. sent2: the maillot is a narrow-mindedness. sent3: if the maillot is not untraceable the bap is granulocytic. sent4: if something is unadoptable but not a pulsar it is not a kind of a Phaethontidae. sent5: something is a kind of a Phaethontidae if it is not traceable. sent6: if something is granulocytic and it is a Phaethontidae then it is not traceable. ; $proof$ = 
sent5 -> int1: the fact that the maillot is a Phaethontidae is not false if that it is untraceable is right.; void -> assump1: Let's assume that the maillot is not traceable.; int1 & assump1 -> int2: the maillot is a Phaethontidae.; sent4 -> int3: if the maillot is a kind of unadoptable thing that is not a kind of a pulsar it is not a kind of a Phaethontidae.; sent1 & sent2 -> int4: that the maillot is unadoptable but it is not a kind of a pulsar is right.; int3 & int4 -> int5: the maillot is not a kind of a Phaethontidae.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the maillot is traceable hold.; int7 & sent3 -> hypothesis; __DISPROVED__