the bitmap is not a bonbon and is a kind of a uracil.
sent1: the Siberian does not drape quire and is a bonbon. sent2: the rowan is a kind of a uracil. sent3: the stonewort is a zabaglione. sent4: the bitmap is a gesso. sent5: the voicer is a Globicephala. sent6: the bitmap is a kind of a uracil if the rowan is a kind of a gesso. sent7: the bitmap is not a shilling but it is atherosclerotic. sent8: the bitmap is not a bonbon but a Globicephala. sent9: the rowan is a gesso.
sent6 & sent9 -> int1: the bitmap is a uracil.; sent8 -> int2: that the bitmap is not a bonbon is right.; int1 & int2 -> hypothesis;
the fact that the fact that the bitmap is both not a bonbon and a uracil is not false is false.
sent3 -> int3: there is something such that it is a zabaglione.;
$hypothesis$ = the bitmap is not a bonbon and is a kind of a uracil. ; $context$ = sent1: the Siberian does not drape quire and is a bonbon. sent2: the rowan is a kind of a uracil. sent3: the stonewort is a zabaglione. sent4: the bitmap is a gesso. sent5: the voicer is a Globicephala. sent6: the bitmap is a kind of a uracil if the rowan is a kind of a gesso. sent7: the bitmap is not a shilling but it is atherosclerotic. sent8: the bitmap is not a bonbon but a Globicephala. sent9: the rowan is a gesso. ; $proof$ = 
sent6 & sent9 -> int1: the bitmap is a uracil.; sent8 -> int2: that the bitmap is not a bonbon is right.; int1 & int2 -> hypothesis; __PROVED__