the west is pleural and does not birdlime if the fact that the microflora sprints is correct.
sent1: the west does sprint. sent2: if something is not a neuroblastoma then that it is a hardball and it is pleural is not correct. sent3: if the scarf is a birdlime then the microflora does sprint and it is pleural. sent4: the microflora is not a kind of a neuroblastoma if that it entrains and it is a neuroblastoma is false. sent5: the west is pleural and is not a birdlime if the scarf is not a birdlime. sent6: the microflora is a kind of pleural a Baptist. sent7: if the west is not pleural the microflora does sprint and is pleural. sent8: the west is not pleural if the scarf does sprint and/or birdlimes. sent9: if the scarf does not birdlime then the fact that the west is pleural is not false. sent10: the fact that the microflora does entrain and is a neuroblastoma is not true. sent11: the microflora is harsh. sent12: the matting is not a Basel if the microflora sprints and/or it is harsh. sent13: if the matting is not a kind of a Basel then the scarf does not birdlime. sent14: if something is harsh it is not a Basel and it sprints. sent15: the feist is not pleural. sent16: the scarf is not a Basel if the matting is not a birdlime. sent17: the auditor is a Basel and does not hunger Townsend. sent18: either the microflora does sprint or it is a iambic or both. sent19: if the matting is not pleural the west is a Basel. sent20: something is harsh if it birdlimes.
void -> assump1: Let's assume that the microflora sprints.; assump1 -> int1: either the microflora does sprint or it is harsh or both.; sent12 & int1 -> int2: the matting is not a kind of a Basel.; sent13 & int2 -> int3: the scarf is not a birdlime.; sent5 & int3 -> int4: the west is pleural but it does not birdlime.; [assump1] & int4 -> hypothesis;
the Land is not a Basel.
sent14 -> int5: if the Land is not non-harsh then it is not a kind of a Basel and it does sprint.; sent20 -> int6: if the Land is a kind of a birdlime it is harsh.; sent2 -> int7: if the microflora is not a neuroblastoma then the fact that it is a hardball and is pleural does not hold.; sent4 & sent10 -> int8: the microflora is not a neuroblastoma.; int7 & int8 -> int9: the fact that the microflora is a hardball and it is pleural is incorrect.; int9 -> int10: there exists something such that the fact that it is a hardball and pleural is false.;
$hypothesis$ = the west is pleural and does not birdlime if the fact that the microflora sprints is correct. ; $context$ = sent1: the west does sprint. sent2: if something is not a neuroblastoma then that it is a hardball and it is pleural is not correct. sent3: if the scarf is a birdlime then the microflora does sprint and it is pleural. sent4: the microflora is not a kind of a neuroblastoma if that it entrains and it is a neuroblastoma is false. sent5: the west is pleural and is not a birdlime if the scarf is not a birdlime. sent6: the microflora is a kind of pleural a Baptist. sent7: if the west is not pleural the microflora does sprint and is pleural. sent8: the west is not pleural if the scarf does sprint and/or birdlimes. sent9: if the scarf does not birdlime then the fact that the west is pleural is not false. sent10: the fact that the microflora does entrain and is a neuroblastoma is not true. sent11: the microflora is harsh. sent12: the matting is not a Basel if the microflora sprints and/or it is harsh. sent13: if the matting is not a kind of a Basel then the scarf does not birdlime. sent14: if something is harsh it is not a Basel and it sprints. sent15: the feist is not pleural. sent16: the scarf is not a Basel if the matting is not a birdlime. sent17: the auditor is a Basel and does not hunger Townsend. sent18: either the microflora does sprint or it is a iambic or both. sent19: if the matting is not pleural the west is a Basel. sent20: something is harsh if it birdlimes. ; $proof$ = 
void -> assump1: Let's assume that the microflora sprints.; assump1 -> int1: either the microflora does sprint or it is harsh or both.; sent12 & int1 -> int2: the matting is not a kind of a Basel.; sent13 & int2 -> int3: the scarf is not a birdlime.; sent5 & int3 -> int4: the west is pleural but it does not birdlime.; [assump1] & int4 -> hypothesis; __PROVED__