the bottlebrush is not a kind of a will-o'-the-wisp.
sent1: if there exists something such that it is a kind of an ostrich then the fact that the bottlebrush does crank refrain and is a will-o'-the-wisp is not right. sent2: if the Attilio is an ostrich that the minibike is an ostrich hold. sent3: if there is something such that it is a kind of a frontlet the minibike is a sorrow and/or a undutifulness. sent4: the primary is a kinglet. sent5: the bottlebrush is a will-o'-the-wisp that is a sorrow if the minibike is not an ostrich. sent6: the minibike does not crank refrain and it is not a kind of an ostrich. sent7: the fact that the bottlebrush is a kind of a sorrow is not wrong if the minibike is not a kind of an ostrich. sent8: the primary is a kind of a frontlet if it is a kind of a kinglet. sent9: if that something is a sorrow is right then it does crank refrain.
sent6 -> int1: the minibike is not an ostrich.; sent5 & int1 -> int2: the bottlebrush is a kind of a will-o'-the-wisp that is a sorrow.; int2 -> hypothesis;
the bottlebrush is a kind of a sorrow and is unimodal.
$hypothesis$ = the bottlebrush is not a kind of a will-o'-the-wisp. ; $context$ = sent1: if there exists something such that it is a kind of an ostrich then the fact that the bottlebrush does crank refrain and is a will-o'-the-wisp is not right. sent2: if the Attilio is an ostrich that the minibike is an ostrich hold. sent3: if there is something such that it is a kind of a frontlet the minibike is a sorrow and/or a undutifulness. sent4: the primary is a kinglet. sent5: the bottlebrush is a will-o'-the-wisp that is a sorrow if the minibike is not an ostrich. sent6: the minibike does not crank refrain and it is not a kind of an ostrich. sent7: the fact that the bottlebrush is a kind of a sorrow is not wrong if the minibike is not a kind of an ostrich. sent8: the primary is a kind of a frontlet if it is a kind of a kinglet. sent9: if that something is a sorrow is right then it does crank refrain. ; $proof$ = 
sent6 -> int1: the minibike is not an ostrich.; sent5 & int1 -> int2: the bottlebrush is a kind of a will-o'-the-wisp that is a sorrow.; int2 -> hypothesis; __DISPROVED__