the archenteron is a Filipino.
sent1: the archenteron is not a kind of a Filipino if the fact that something is a kind of a fecula and/or is a kiang hold. sent2: the lammergeier is a Filipino. sent3: the lammergeier is a fecula and nettles supersedure. sent4: the lammergeier is a kind of a larch. sent5: the archenteron is a kind of a Filipino if the fact that it does not nettle supersedure and is a fecula is true. sent6: the lammergeier does disobey Libyan and disobeys Erysiphe. sent7: the archenteron does nettle supersedure. sent8: the crossopterygian is not Filipino.
sent3 -> int1: the lammergeier is a fecula.; int1 -> int2: either the lammergeier is a fecula or it is a kiang or both.; int2 -> int3: that either something is a fecula or it is a kind of a kiang or both is not incorrect.; int3 & sent1 -> hypothesis;
the archenteron is Filipino.
$hypothesis$ = the archenteron is a Filipino. ; $context$ = sent1: the archenteron is not a kind of a Filipino if the fact that something is a kind of a fecula and/or is a kiang hold. sent2: the lammergeier is a Filipino. sent3: the lammergeier is a fecula and nettles supersedure. sent4: the lammergeier is a kind of a larch. sent5: the archenteron is a kind of a Filipino if the fact that it does not nettle supersedure and is a fecula is true. sent6: the lammergeier does disobey Libyan and disobeys Erysiphe. sent7: the archenteron does nettle supersedure. sent8: the crossopterygian is not Filipino. ; $proof$ = 
sent3 -> int1: the lammergeier is a fecula.; int1 -> int2: either the lammergeier is a fecula or it is a kiang or both.; int2 -> int3: that either something is a fecula or it is a kind of a kiang or both is not incorrect.; int3 & sent1 -> hypothesis; __DISPROVED__