ぽえぽねLv.54事件および感動することが生じる
fact1: 感動することが起こる fact2: みにゃみなLv.54事件が起こるしおまけに見込むことが起こる fact3: 水っぽいということが起きる fact4: ぽえぽねLv.54事件と増え難いということ両方ともが起きる fact5: 仮に増え難いということは起きないならば「ぽえぽねLv.54事件と感動することどちらもが起こる」ということは成り立たない fact6: 煩わしいということが発生する fact7: ぷいぷわLv.94事件とぽいぽえLv.19事件が生じる
fact4 -> int1: ぽえぽねLv.54事件が発生する; int1 & fact1 -> hypothesis;
fact4 -> int1: {A}; int1 & fact1 -> hypothesis;
「ぽえぽねLv.54事件および感動することどちらもが生じる」ということは成り立たない
$facts$ = fact1: 感動することが起こる fact2: みにゃみなLv.54事件が起こるしおまけに見込むことが起こる fact3: 水っぽいということが起きる fact4: ぽえぽねLv.54事件と増え難いということ両方ともが起きる fact5: 仮に増え難いということは起きないならば「ぽえぽねLv.54事件と感動することどちらもが起こる」ということは成り立たない fact6: 煩わしいということが発生する fact7: ぷいぷわLv.94事件とぽいぽえLv.19事件が生じる ; $hypothesis$ = ぽえぽねLv.54事件および感動することが生じる ; $proof$ = 
fact4 -> int1: ぽえぽねLv.54事件が発生する; int1 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__