the craniometer does weave Garfield and is a bowline.
sent1: the craniometer is a bowline and it does butt purposefulness. sent2: if there is something such that the fact that it is consolable thing that is a blend does not hold then the nitrobenzene does butt ritonavir. sent3: the fact that something is a kind of consolable thing that is a blend does not hold if it does not weave culdoscope. sent4: the archangel is not a squeegee if there exists something such that it does butt ritonavir. sent5: the revetment does not weave culdoscope if there is something such that that it rears hedger and is a outstation is not true. sent6: the dragonet is not corporate. sent7: if the washtub overhangs the hedger overhangs. sent8: something weaves Garfield if it does butt ritonavir. sent9: that the washtub is not a hydride is not false if the hedger is a squeegee. sent10: the fact that the washtub does not butt ritonavir or it does weave Garfield or both does not hold if the craniometer is a hydride. sent11: the hedger squeegees. sent12: the craniometer does butt purposefulness. sent13: the washtub is not a hydride. sent14: the nitrobenzene weaves Garfield. sent15: if that the hedger does not squeegee hold the fact that the craniometer weaves Garfield and is a kind of a bowline is incorrect. sent16: if that the washtub is not a shortstop or it is a hydride or both is false then the craniometer does butt ritonavir. sent17: if the hedger squeegees the fact that the washtub is not a shortstop and/or it is a hydride is false. sent18: if the fact that the dragonet is not corporate is correct that it rears hedger and is a kind of a outstation is incorrect. sent19: if that the washtub does butt purposefulness and is a kind of a squeegee does not hold the hedger is not a squeegee. sent20: if the fact that something does not butt ritonavir and is not an overhang is wrong then it is an overhang.
sent17 & sent11 -> int1: the fact that the washtub is not a shortstop or is a kind of a hydride or both is not true.; int1 & sent16 -> int2: the craniometer does butt ritonavir.; sent8 -> int3: if the craniometer butts ritonavir it does weave Garfield.; int2 & int3 -> int4: the craniometer does weave Garfield.; sent1 -> int5: the fact that the craniometer is a bowline hold.; int4 & int5 -> hypothesis;
the fact that the hedger does overhang and it is a shortstop hold.
sent20 -> int6: if that the washtub does not butt ritonavir and it does not overhang is not right then it is an overhang.;
$hypothesis$ = the craniometer does weave Garfield and is a bowline. ; $context$ = sent1: the craniometer is a bowline and it does butt purposefulness. sent2: if there is something such that the fact that it is consolable thing that is a blend does not hold then the nitrobenzene does butt ritonavir. sent3: the fact that something is a kind of consolable thing that is a blend does not hold if it does not weave culdoscope. sent4: the archangel is not a squeegee if there exists something such that it does butt ritonavir. sent5: the revetment does not weave culdoscope if there is something such that that it rears hedger and is a outstation is not true. sent6: the dragonet is not corporate. sent7: if the washtub overhangs the hedger overhangs. sent8: something weaves Garfield if it does butt ritonavir. sent9: that the washtub is not a hydride is not false if the hedger is a squeegee. sent10: the fact that the washtub does not butt ritonavir or it does weave Garfield or both does not hold if the craniometer is a hydride. sent11: the hedger squeegees. sent12: the craniometer does butt purposefulness. sent13: the washtub is not a hydride. sent14: the nitrobenzene weaves Garfield. sent15: if that the hedger does not squeegee hold the fact that the craniometer weaves Garfield and is a kind of a bowline is incorrect. sent16: if that the washtub is not a shortstop or it is a hydride or both is false then the craniometer does butt ritonavir. sent17: if the hedger squeegees the fact that the washtub is not a shortstop and/or it is a hydride is false. sent18: if the fact that the dragonet is not corporate is correct that it rears hedger and is a kind of a outstation is incorrect. sent19: if that the washtub does butt purposefulness and is a kind of a squeegee does not hold the hedger is not a squeegee. sent20: if the fact that something does not butt ritonavir and is not an overhang is wrong then it is an overhang. ; $proof$ = 
sent17 & sent11 -> int1: the fact that the washtub is not a shortstop or is a kind of a hydride or both is not true.; int1 & sent16 -> int2: the craniometer does butt ritonavir.; sent8 -> int3: if the craniometer butts ritonavir it does weave Garfield.; int2 & int3 -> int4: the craniometer does weave Garfield.; sent1 -> int5: the fact that the craniometer is a bowline hold.; int4 & int5 -> hypothesis; __PROVED__