いみじということとすっごーいということが発生する
fact1: 嬉しいということおよびいみじということ両方ともが起きる fact2: もしも嬉しいということは起きないとしたら「いみじということおよびすっごーいということ両方が起こる」ということは成り立たない
fact1 -> int1: 「いみじということが発生する」ということは嘘でない;
fact1 -> int1: {B};
「いみじということが発生するしすっごーいということが起きる」ということは成り立たない
$facts$ = fact1: 嬉しいということおよびいみじということ両方ともが起きる fact2: もしも嬉しいということは起きないとしたら「いみじということおよびすっごーいということ両方が起こる」ということは成り立たない ; $hypothesis$ = いみじということとすっごーいということが発生する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__