the fact that if the headset is a bonheur then the humate is a monkey is false.
sent1: if something is meatless it is not benedictory. sent2: if something that does not syllogize Styron is a follow-through then the bantam does lobby. sent3: the headset does not pursue. sent4: the decor does not syllogize Styron and is pacific. sent5: something is not a bonheur but a lobby. sent6: something does not lobby if it is a follow-through. sent7: there is something such that it is not a knit. sent8: the headset is a kind of a monkey. sent9: a lobby is not a bonheur but a monkey. sent10: the fact that the humate is a millionth and it is a kind of a monkey does not hold if the derelict is not a biopiracy. sent11: something is not a bind if it maps. sent12: the humate syllogizes greyhound. sent13: something does not syllogize Styron but it is a follow-through if it is a bonheur. sent14: if the bantam is a lobby the humate is a monkey. sent15: the humate is a bonheur if something does not syllogize Styron and is a monkey. sent16: if the humate measures gravy it is not a ceriman. sent17: something that is a kind of a bonheur is a kind of a follow-through. sent18: there is something such that it does remonstrate captivity and is an afterlife. sent19: the flagfish is a kind of a bonheur and it is a kind of a lobby if the bantam is not a monkey. sent20: the bantam does not remonstrate heralded and is a monkey. sent21: if something is a kind of a lobby that it is not a kind of a follow-through and it does syllogize Styron hold. sent22: something is a follow-through and is a monkey.
sent13 -> int1: the headset does not syllogize Styron but it is a follow-through if it is a bonheur.; void -> assump1: Let's assume that the headset is a kind of a bonheur.; int1 & assump1 -> int2: the headset does not syllogize Styron and is a follow-through.; int2 -> int3: something does not syllogize Styron but it is a kind of a follow-through.; int3 & sent2 -> int4: the bantam does lobby.; sent14 & int4 -> int5: the humate is a kind of a monkey.; [assump1] & int5 -> hypothesis;
the flagfish is a bonheur.
$hypothesis$ = the fact that if the headset is a bonheur then the humate is a monkey is false. ; $context$ = sent1: if something is meatless it is not benedictory. sent2: if something that does not syllogize Styron is a follow-through then the bantam does lobby. sent3: the headset does not pursue. sent4: the decor does not syllogize Styron and is pacific. sent5: something is not a bonheur but a lobby. sent6: something does not lobby if it is a follow-through. sent7: there is something such that it is not a knit. sent8: the headset is a kind of a monkey. sent9: a lobby is not a bonheur but a monkey. sent10: the fact that the humate is a millionth and it is a kind of a monkey does not hold if the derelict is not a biopiracy. sent11: something is not a bind if it maps. sent12: the humate syllogizes greyhound. sent13: something does not syllogize Styron but it is a follow-through if it is a bonheur. sent14: if the bantam is a lobby the humate is a monkey. sent15: the humate is a bonheur if something does not syllogize Styron and is a monkey. sent16: if the humate measures gravy it is not a ceriman. sent17: something that is a kind of a bonheur is a kind of a follow-through. sent18: there is something such that it does remonstrate captivity and is an afterlife. sent19: the flagfish is a kind of a bonheur and it is a kind of a lobby if the bantam is not a monkey. sent20: the bantam does not remonstrate heralded and is a monkey. sent21: if something is a kind of a lobby that it is not a kind of a follow-through and it does syllogize Styron hold. sent22: something is a follow-through and is a monkey. ; $proof$ = 
sent13 -> int1: the headset does not syllogize Styron but it is a follow-through if it is a bonheur.; void -> assump1: Let's assume that the headset is a kind of a bonheur.; int1 & assump1 -> int2: the headset does not syllogize Styron and is a follow-through.; int2 -> int3: something does not syllogize Styron but it is a kind of a follow-through.; int3 & sent2 -> int4: the bantam does lobby.; sent14 & int4 -> int5: the humate is a kind of a monkey.; [assump1] & int5 -> hypothesis; __DISPROVED__