the band is a kind of a handbell and it is not non-crustose.
sent1: the snowdrift is a kind of a temporal if the channel is unstatesmanlike. sent2: that something is a kind of a handbell that is crustose is wrong if the fact that it stratifies Very-light is not right. sent3: if the snowdrift does not hype angling then the fact that it is a kind of a braced and it is not stylish is not right. sent4: the band is not a Assyrian if that it is a kind of stylish thing that is a Assyrian is wrong. sent5: the channel is unstatesmanlike. sent6: the fact that the band is not styleless but it is a Assyrian is false. sent7: there is something such that it is a kind of a braced. sent8: the fact that the snowdrift does not hype angling hold if it is not sophistic and it is a temporal. sent9: if there exists something such that it is a kind of a handbell the calcium is a Olympus and it stratifies Very-light. sent10: there exists something such that the fact that it is not a kind of a faintheartedness and it is not a Thylogale is false. sent11: if that there exists something such that it is a braced is true then the fact that the sidewinder does not stratify Very-light is not incorrect. sent12: if something is a Olympus then it is a handbell. sent13: if that there is something such that the fact that it is not a faintheartedness and it is not a Thylogale is not correct is not false that the snowdrift is not sophistic is not wrong. sent14: if there exists something such that it is a Assyrian the band is a handbell. sent15: the sidewinder stratifies Very-light if there exists something such that that it is not orthopedics and is basipetal does not hold. sent16: if there exists something such that the fact that it is a braced and it is styleless is incorrect the sidewinder is not a Assyrian. sent17: the sidewinder is a kind of crustose thing that is a handbell if it does not stratify distressed. sent18: the band does stratify distressed and is crustose if it is not a Assyrian. sent19: the band is a kind of a Olympus if there are non-orthopedics and basipetal things.
void -> assump1: Let's assume that that the workroom is a kind of non-orthopedics thing that is basipetal is not correct.; assump1 -> int1: there is something such that the fact that it is both not orthopedics and basipetal does not hold.; int1 & sent15 -> int2: the sidewinder does stratify Very-light.; sent7 & sent11 -> int3: the sidewinder does not stratify Very-light.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the workroom is not orthopedics and is basipetal.; int5 -> int6: something is not orthopedics but it is basipetal.; int6 & sent19 -> int7: the band is a Olympus.; sent12 -> int8: the band is a handbell if it is a Olympus.; int7 & int8 -> int9: that the band is a handbell hold.; sent4 & sent6 -> int10: the band is not a kind of a Assyrian.; sent18 & int10 -> int11: the band stratifies distressed and is crustose.; int11 -> int12: the band is crustose.; int9 & int12 -> hypothesis;
the fact that the band is a handbell and it is crustose is false.
sent2 -> int13: if the band does not stratify Very-light the fact that it is a handbell and is crustose is not true.; sent10 & sent13 -> int14: the snowdrift is not sophistic.; sent1 & sent5 -> int15: the snowdrift is temporal.; int14 & int15 -> int16: the snowdrift is both not sophistic and temporal.; sent8 & int16 -> int17: the snowdrift does not hype angling.; sent3 & int17 -> int18: that the snowdrift is a braced that is styleless is not right.; int18 -> int19: there exists something such that the fact that it braces and it is styleless does not hold.; int19 & sent16 -> int20: the sidewinder is not a kind of a Assyrian.;
$hypothesis$ = the band is a kind of a handbell and it is not non-crustose. ; $context$ = sent1: the snowdrift is a kind of a temporal if the channel is unstatesmanlike. sent2: that something is a kind of a handbell that is crustose is wrong if the fact that it stratifies Very-light is not right. sent3: if the snowdrift does not hype angling then the fact that it is a kind of a braced and it is not stylish is not right. sent4: the band is not a Assyrian if that it is a kind of stylish thing that is a Assyrian is wrong. sent5: the channel is unstatesmanlike. sent6: the fact that the band is not styleless but it is a Assyrian is false. sent7: there is something such that it is a kind of a braced. sent8: the fact that the snowdrift does not hype angling hold if it is not sophistic and it is a temporal. sent9: if there exists something such that it is a kind of a handbell the calcium is a Olympus and it stratifies Very-light. sent10: there exists something such that the fact that it is not a kind of a faintheartedness and it is not a Thylogale is false. sent11: if that there exists something such that it is a braced is true then the fact that the sidewinder does not stratify Very-light is not incorrect. sent12: if something is a Olympus then it is a handbell. sent13: if that there is something such that the fact that it is not a faintheartedness and it is not a Thylogale is not correct is not false that the snowdrift is not sophistic is not wrong. sent14: if there exists something such that it is a Assyrian the band is a handbell. sent15: the sidewinder stratifies Very-light if there exists something such that that it is not orthopedics and is basipetal does not hold. sent16: if there exists something such that the fact that it is a braced and it is styleless is incorrect the sidewinder is not a Assyrian. sent17: the sidewinder is a kind of crustose thing that is a handbell if it does not stratify distressed. sent18: the band does stratify distressed and is crustose if it is not a Assyrian. sent19: the band is a kind of a Olympus if there are non-orthopedics and basipetal things. ; $proof$ = 
void -> assump1: Let's assume that that the workroom is a kind of non-orthopedics thing that is basipetal is not correct.; assump1 -> int1: there is something such that the fact that it is both not orthopedics and basipetal does not hold.; int1 & sent15 -> int2: the sidewinder does stratify Very-light.; sent7 & sent11 -> int3: the sidewinder does not stratify Very-light.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the workroom is not orthopedics and is basipetal.; int5 -> int6: something is not orthopedics but it is basipetal.; int6 & sent19 -> int7: the band is a Olympus.; sent12 -> int8: the band is a handbell if it is a Olympus.; int7 & int8 -> int9: that the band is a handbell hold.; sent4 & sent6 -> int10: the band is not a kind of a Assyrian.; sent18 & int10 -> int11: the band stratifies distressed and is crustose.; int11 -> int12: the band is crustose.; int9 & int12 -> hypothesis; __PROVED__