if the treadmill is not a kind of a Hylocereus then the greenbottle is a kind of a Manawydan and it masks rafter.
sent1: the fact that the lion-hunter is not a refusal but a touch-me-not is true. sent2: if the lion-hunter is not a kind of a bloodlust and does not mask rafter then the greenbottle mask rafter. sent3: the treadmill is not a intermittence and is blue-collar if it is not a Hylocereus. sent4: if the aircraftsman is not modifiable it is not a myxovirus. sent5: that something is not a bloodlust and/or it is not a Hylocereus is wrong if that it is a kind of a Manawydan is not false. sent6: the lion-hunter is not modifiable. sent7: the lion-hunter does not mask rafter if it is not modifiable. sent8: if the lion-hunter is not a refusal but it is a kind of a touch-me-not it is not a kind of a bloodlust. sent9: the lion-hunter is a Manawydan and it does mask rafter if the fact that it is not a kind of a touch-me-not is not false. sent10: the greenbottle is not a kind of a bloodlust if the treadmill is a kind of a bloodlust. sent11: the treadmill is a bloodlust if that the lion-hunter is not a kind of a bloodlust and/or it is not a Hylocereus is not right. sent12: the greenbottle is not blue-collar. sent13: the greenbottle is not modifiable but a Manawydan if it is a touch-me-not. sent14: if the treadmill is blue-collar the greenbottle is a Manawydan.
void -> assump1: Let's assume that the fact that the treadmill is not a kind of a Hylocereus is right.; sent3 & assump1 -> int1: the treadmill is not a kind of a intermittence and is blue-collar.; int1 -> int2: the treadmill is blue-collar.; int2 & sent14 -> int3: the greenbottle is a Manawydan.; sent8 & sent1 -> int4: the lion-hunter is not a kind of a bloodlust.; sent7 & sent6 -> int5: the lion-hunter does not mask rafter.; int4 & int5 -> int6: the lion-hunter is not a bloodlust and does not mask rafter.; sent2 & int6 -> int7: the greenbottle does mask rafter.; int3 & int7 -> int8: the greenbottle is a kind of a Manawydan that does mask rafter.; [assump1] & int8 -> hypothesis;
the greenbottle is not a kind of a bloodlust.
sent5 -> int9: if the lion-hunter is a Manawydan then that it is not a bloodlust and/or it is not a Hylocereus is incorrect.;
$hypothesis$ = if the treadmill is not a kind of a Hylocereus then the greenbottle is a kind of a Manawydan and it masks rafter. ; $context$ = sent1: the fact that the lion-hunter is not a refusal but a touch-me-not is true. sent2: if the lion-hunter is not a kind of a bloodlust and does not mask rafter then the greenbottle mask rafter. sent3: the treadmill is not a intermittence and is blue-collar if it is not a Hylocereus. sent4: if the aircraftsman is not modifiable it is not a myxovirus. sent5: that something is not a bloodlust and/or it is not a Hylocereus is wrong if that it is a kind of a Manawydan is not false. sent6: the lion-hunter is not modifiable. sent7: the lion-hunter does not mask rafter if it is not modifiable. sent8: if the lion-hunter is not a refusal but it is a kind of a touch-me-not it is not a kind of a bloodlust. sent9: the lion-hunter is a Manawydan and it does mask rafter if the fact that it is not a kind of a touch-me-not is not false. sent10: the greenbottle is not a kind of a bloodlust if the treadmill is a kind of a bloodlust. sent11: the treadmill is a bloodlust if that the lion-hunter is not a kind of a bloodlust and/or it is not a Hylocereus is not right. sent12: the greenbottle is not blue-collar. sent13: the greenbottle is not modifiable but a Manawydan if it is a touch-me-not. sent14: if the treadmill is blue-collar the greenbottle is a Manawydan. ; $proof$ = 
void -> assump1: Let's assume that the fact that the treadmill is not a kind of a Hylocereus is right.; sent3 & assump1 -> int1: the treadmill is not a kind of a intermittence and is blue-collar.; int1 -> int2: the treadmill is blue-collar.; int2 & sent14 -> int3: the greenbottle is a Manawydan.; sent8 & sent1 -> int4: the lion-hunter is not a kind of a bloodlust.; sent7 & sent6 -> int5: the lion-hunter does not mask rafter.; int4 & int5 -> int6: the lion-hunter is not a bloodlust and does not mask rafter.; sent2 & int6 -> int7: the greenbottle does mask rafter.; int3 & int7 -> int8: the greenbottle is a kind of a Manawydan that does mask rafter.; [assump1] & int8 -> hypothesis; __PROVED__