the tracheophyte is a backgrounder.
sent1: the tracheophyte does not tailor. sent2: if something is both not a misalignment and a tailor then it is a kind of a backgrounder. sent3: the torchbearer is not imprecise. sent4: that the microfossil is a tailor but it is not Scythian is true if it is imprecise. sent5: the nephron is not Algerian if the microfossil tailors and is not Scythian. sent6: if the torchbearer memorializes nephron and is not uncommon then the tinker is not a misalignment. sent7: if the torchbearer memorializes nephron it is a Algerian. sent8: if the torchbearer is not imprecise then the fact that it is a Scythian and it is a kind of a Algerian is false. sent9: something is a kind of a Algerian if the fact that it does not memorialize nephron and it is not uncommon is false. sent10: the torchbearer does not memorialize nephron. sent11: that the tinker is not a misalignment and is a backgrounder is not right if the nephron is not a kind of a Algerian. sent12: that the torchbearer memorializes nephron and is not uncommon is false. sent13: that something is not a Algerian hold if the fact that it is a Scythian that is a kind of a Algerian is not right. sent14: if something memorializes nephron it is a Algerian. sent15: if something is not a misalignment and it does not tailor then it is a backgrounder. sent16: the tinker is not a misalignment if the torchbearer does not memorialize nephron and it is not uncommon. sent17: if the tinker is not a misalignment the tracheophyte is not a kind of a misalignment and is not a tailor. sent18: the tracheophyte is not a tailor if the tinker is not a kind of a misalignment.
sent9 -> int1: if the fact that the torchbearer does not memorialize nephron and is not uncommon is not right then it is a kind of a Algerian.; void -> assump1: Let's assume that the fact that the torchbearer does not memorialize nephron and it is not uncommon is wrong.; int1 & assump1 -> int2: that the torchbearer is a Algerian is right.; sent13 -> int3: the torchbearer is not a kind of a Algerian if the fact that it is Scythian thing that is a Algerian is wrong.; sent8 & sent3 -> int4: the fact that the torchbearer is both a Scythian and Algerian is false.; int3 & int4 -> int5: the torchbearer is not a kind of a Algerian.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the torchbearer does not memorialize nephron and is not uncommon.; int7 & sent16 -> int8: the tinker is not a kind of a misalignment.; int8 & sent17 -> int9: the tracheophyte is not a misalignment and does not tailor.; sent15 -> int10: if the tracheophyte is not a misalignment and it does not tailor then it is a kind of a backgrounder.; int9 & int10 -> hypothesis;
the tracheophyte is not a kind of a backgrounder.
$hypothesis$ = the tracheophyte is a backgrounder. ; $context$ = sent1: the tracheophyte does not tailor. sent2: if something is both not a misalignment and a tailor then it is a kind of a backgrounder. sent3: the torchbearer is not imprecise. sent4: that the microfossil is a tailor but it is not Scythian is true if it is imprecise. sent5: the nephron is not Algerian if the microfossil tailors and is not Scythian. sent6: if the torchbearer memorializes nephron and is not uncommon then the tinker is not a misalignment. sent7: if the torchbearer memorializes nephron it is a Algerian. sent8: if the torchbearer is not imprecise then the fact that it is a Scythian and it is a kind of a Algerian is false. sent9: something is a kind of a Algerian if the fact that it does not memorialize nephron and it is not uncommon is false. sent10: the torchbearer does not memorialize nephron. sent11: that the tinker is not a misalignment and is a backgrounder is not right if the nephron is not a kind of a Algerian. sent12: that the torchbearer memorializes nephron and is not uncommon is false. sent13: that something is not a Algerian hold if the fact that it is a Scythian that is a kind of a Algerian is not right. sent14: if something memorializes nephron it is a Algerian. sent15: if something is not a misalignment and it does not tailor then it is a backgrounder. sent16: the tinker is not a misalignment if the torchbearer does not memorialize nephron and it is not uncommon. sent17: if the tinker is not a misalignment the tracheophyte is not a kind of a misalignment and is not a tailor. sent18: the tracheophyte is not a tailor if the tinker is not a kind of a misalignment. ; $proof$ = 
sent9 -> int1: if the fact that the torchbearer does not memorialize nephron and is not uncommon is not right then it is a kind of a Algerian.; void -> assump1: Let's assume that the fact that the torchbearer does not memorialize nephron and it is not uncommon is wrong.; int1 & assump1 -> int2: that the torchbearer is a Algerian is right.; sent13 -> int3: the torchbearer is not a kind of a Algerian if the fact that it is Scythian thing that is a Algerian is wrong.; sent8 & sent3 -> int4: the fact that the torchbearer is both a Scythian and Algerian is false.; int3 & int4 -> int5: the torchbearer is not a kind of a Algerian.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the torchbearer does not memorialize nephron and is not uncommon.; int7 & sent16 -> int8: the tinker is not a kind of a misalignment.; int8 & sent17 -> int9: the tracheophyte is not a misalignment and does not tailor.; sent15 -> int10: if the tracheophyte is not a misalignment and it does not tailor then it is a kind of a backgrounder.; int9 & int10 -> hypothesis; __PROVED__