甲斐甲斐しいということが生じる
fact1: まにょまくLv.92事件が発生する fact2: ぽなぽねLv.65事件が生じる fact3: もし仮に「甲斐甲斐しいということが発生するししかもぴなぴえLv.80事件が生じる」ということは偽であるとすると甲斐甲斐しいということは起きない
fact1 -> int1: まにょまくLv.92事件が発生する;
fact1 -> int1: {A};
もくもくLv.86事件が起きる
$facts$ = fact1: まにょまくLv.92事件が発生する fact2: ぽなぽねLv.65事件が生じる fact3: もし仮に「甲斐甲斐しいということが発生するししかもぴなぴえLv.80事件が生じる」ということは偽であるとすると甲斐甲斐しいということは起きない ; $hypothesis$ = 甲斐甲斐しいということが生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__