the CBR is not cinematic.
sent1: if something is not inconvertible then the jumbojet is not inconvertible. sent2: the CBR is not cinematic if that the jumbojet does digitize methyltestosterone but it is not a Coloradan does not hold. sent3: that the jumbojet does digitize methyltestosterone and it is a kind of a Coloradan does not hold. sent4: if the fact that the treehopper is inconvertible hold the CBR is cinematic. sent5: the CBR is not a Coloradan. sent6: if there is something such that that it digitizes methyltestosterone and it is cinematic is incorrect the CBR does not digitizes methyltestosterone. sent7: there is something such that that it is inconvertible and it is apocryphal does not hold. sent8: if something is not inconvertible then the fact that it does digitize methyltestosterone and it is not a Coloradan does not hold. sent9: the jumbojet is not inconvertible if there exists something such that the fact that it is both inconvertible and apocryphal is incorrect.
sent8 -> int1: if the jumbojet is not inconvertible then that it does digitize methyltestosterone and it is not a kind of a Coloradan is false.; sent7 & sent9 -> int2: the jumbojet is not inconvertible.; int1 & int2 -> int3: the fact that the jumbojet digitizes methyltestosterone and is not a Coloradan is not true.; int3 & sent2 -> hypothesis;
the CBR is cinematic.
$hypothesis$ = the CBR is not cinematic. ; $context$ = sent1: if something is not inconvertible then the jumbojet is not inconvertible. sent2: the CBR is not cinematic if that the jumbojet does digitize methyltestosterone but it is not a Coloradan does not hold. sent3: that the jumbojet does digitize methyltestosterone and it is a kind of a Coloradan does not hold. sent4: if the fact that the treehopper is inconvertible hold the CBR is cinematic. sent5: the CBR is not a Coloradan. sent6: if there is something such that that it digitizes methyltestosterone and it is cinematic is incorrect the CBR does not digitizes methyltestosterone. sent7: there is something such that that it is inconvertible and it is apocryphal does not hold. sent8: if something is not inconvertible then the fact that it does digitize methyltestosterone and it is not a Coloradan does not hold. sent9: the jumbojet is not inconvertible if there exists something such that the fact that it is both inconvertible and apocryphal is incorrect. ; $proof$ = 
sent8 -> int1: if the jumbojet is not inconvertible then that it does digitize methyltestosterone and it is not a kind of a Coloradan is false.; sent7 & sent9 -> int2: the jumbojet is not inconvertible.; int1 & int2 -> int3: the fact that the jumbojet digitizes methyltestosterone and is not a Coloradan is not true.; int3 & sent2 -> hypothesis; __PROVED__