the blacktop is not a saxitoxin.
sent1: the polyanthus is a stratus if it is a deforestation. sent2: the aitchbone does not ammoniate percussionist if the fact that the fisher does ammoniate percussionist and does not clank citizenry is incorrect. sent3: the blacktop does clank citizenry. sent4: the australopithecine does not ammoniate percussionist and is a monosyllable if that it does clank citizenry hold. sent5: the blacktop does clank citizenry if the polyanthus does not ammoniate percussionist. sent6: the polyanthus is a deforestation. sent7: if something does not ammoniate percussionist the fact that it is not a stratus but a branched is not true. sent8: the polyanthus is a branched if it is lymphoid. sent9: the polyanthus is lymphoid. sent10: if the polyanthus does branch and it is a stratus it does not ammoniate percussionist. sent11: the fact that the linstock is a stratus is true. sent12: if something does not ammoniate percussionist and is a monosyllable it is not a kind of a branched. sent13: if the blacktop clanks citizenry and is a monosyllable then the fact that it is not a saxitoxin is not wrong. sent14: if that the polyanthus does not ammoniate percussionist hold then the blacktop does clank citizenry and it is a monosyllable.
sent8 & sent9 -> int1: the polyanthus does branch.; sent1 & sent6 -> int2: the polyanthus is a stratus.; int1 & int2 -> int3: the polyanthus is a branched and it is a stratus.; int3 & sent10 -> int4: the polyanthus does not ammoniate percussionist.; int4 & sent14 -> int5: the blacktop does clank citizenry and is a monosyllable.; int5 & sent13 -> hypothesis;
the australopithecine is a kind of a stratus.
sent12 -> int6: the australopithecine does not branch if it does not ammoniate percussionist and is a kind of a monosyllable.;
$hypothesis$ = the blacktop is not a saxitoxin. ; $context$ = sent1: the polyanthus is a stratus if it is a deforestation. sent2: the aitchbone does not ammoniate percussionist if the fact that the fisher does ammoniate percussionist and does not clank citizenry is incorrect. sent3: the blacktop does clank citizenry. sent4: the australopithecine does not ammoniate percussionist and is a monosyllable if that it does clank citizenry hold. sent5: the blacktop does clank citizenry if the polyanthus does not ammoniate percussionist. sent6: the polyanthus is a deforestation. sent7: if something does not ammoniate percussionist the fact that it is not a stratus but a branched is not true. sent8: the polyanthus is a branched if it is lymphoid. sent9: the polyanthus is lymphoid. sent10: if the polyanthus does branch and it is a stratus it does not ammoniate percussionist. sent11: the fact that the linstock is a stratus is true. sent12: if something does not ammoniate percussionist and is a monosyllable it is not a kind of a branched. sent13: if the blacktop clanks citizenry and is a monosyllable then the fact that it is not a saxitoxin is not wrong. sent14: if that the polyanthus does not ammoniate percussionist hold then the blacktop does clank citizenry and it is a monosyllable. ; $proof$ = 
sent8 & sent9 -> int1: the polyanthus does branch.; sent1 & sent6 -> int2: the polyanthus is a stratus.; int1 & int2 -> int3: the polyanthus is a branched and it is a stratus.; int3 & sent10 -> int4: the polyanthus does not ammoniate percussionist.; int4 & sent14 -> int5: the blacktop does clank citizenry and is a monosyllable.; int5 & sent13 -> hypothesis; __PROVED__