the bamboo is a TLC if the aphid does stale license.
sent1: the furnace is a TLC. sent2: the aphid does stale stork. sent3: if the bamboo stales license that the aphid is a TLC is not incorrect. sent4: the bamboo is a TLC if the fact that the brimstone reigns Lepidothamnus is not wrong. sent5: the chimneysweeper does reign Lepidothamnus. sent6: the aphid is a TLC. sent7: the heptane reigns Lepidothamnus. sent8: the chimneysweeper stales license. sent9: the chimneysweeper is a fatwa. sent10: the brimstone is a kind of a TLC. sent11: the brimstone reigns Lepidothamnus if that the chimneysweeper does stale stork hold. sent12: if the chimneysweeper stales license the aphid stales stork. sent13: the enterovirus stales license. sent14: the neurosurgeon is a kind of a TLC. sent15: if the bamboo reigns Lepidothamnus then the brimstone is a kind of a TLC. sent16: that the chimneysweeper does not stale stork is not right if the aphid stales license. sent17: the windward is a TLC. sent18: the bamboo does stale license if the aphid is a kind of a TLC. sent19: the bamboo does stale license. sent20: if that something is not a TLC but it does stale license is not true it is a kind of a TLC. sent21: the chimneysweeper is a kind of a TLC. sent22: the aphid reigns glider.
void -> assump1: Let's assume that the aphid does stale license.; sent16 & assump1 -> int1: the chimneysweeper does stale stork.; sent11 & int1 -> int2: the brimstone reigns Lepidothamnus.; sent4 & int2 -> int3: that the bamboo is a kind of a TLC is right.; [assump1] & int3 -> hypothesis;
the thoroughfare is a TLC.
sent20 -> int4: if that that the thoroughfare is not a TLC and does stale license hold is false that it is a kind of a TLC is right.;
$hypothesis$ = the bamboo is a TLC if the aphid does stale license. ; $context$ = sent1: the furnace is a TLC. sent2: the aphid does stale stork. sent3: if the bamboo stales license that the aphid is a TLC is not incorrect. sent4: the bamboo is a TLC if the fact that the brimstone reigns Lepidothamnus is not wrong. sent5: the chimneysweeper does reign Lepidothamnus. sent6: the aphid is a TLC. sent7: the heptane reigns Lepidothamnus. sent8: the chimneysweeper stales license. sent9: the chimneysweeper is a fatwa. sent10: the brimstone is a kind of a TLC. sent11: the brimstone reigns Lepidothamnus if that the chimneysweeper does stale stork hold. sent12: if the chimneysweeper stales license the aphid stales stork. sent13: the enterovirus stales license. sent14: the neurosurgeon is a kind of a TLC. sent15: if the bamboo reigns Lepidothamnus then the brimstone is a kind of a TLC. sent16: that the chimneysweeper does not stale stork is not right if the aphid stales license. sent17: the windward is a TLC. sent18: the bamboo does stale license if the aphid is a kind of a TLC. sent19: the bamboo does stale license. sent20: if that something is not a TLC but it does stale license is not true it is a kind of a TLC. sent21: the chimneysweeper is a kind of a TLC. sent22: the aphid reigns glider. ; $proof$ = 
void -> assump1: Let's assume that the aphid does stale license.; sent16 & assump1 -> int1: the chimneysweeper does stale stork.; sent11 & int1 -> int2: the brimstone reigns Lepidothamnus.; sent4 & int2 -> int3: that the bamboo is a kind of a TLC is right.; [assump1] & int3 -> hypothesis; __PROVED__