仄白いということおよび懐かしいということ両方ともが起こる
fact1: ぷちょぷくLv.6事件は起きないとすれば「仄白いということと懐かしいということ両方が起こる」ということは成り立たない fact2: ぴなぴにゅLv.55事件が起きる fact3: 心苦しいということおよび薬臭いということが生じる fact4: 懐かしいということが起こる fact5: 仄白いということが起きる fact6: もし「みやみわLv.22事件は起きない」ということは誤っていないとしたら「ぷちょぷくLv.6事件は生じなくて受け辛いということは発生しない」ということは成り立つ
fact5 -> int1: 仄白いということが起きる; int1 & fact4 -> hypothesis;
fact5 -> int1: {A}; int1 & fact4 -> hypothesis;
「仄白いということおよび懐かしいということが起こる」ということは成り立たない
$facts$ = fact1: ぷちょぷくLv.6事件は起きないとすれば「仄白いということと懐かしいということ両方が起こる」ということは成り立たない fact2: ぴなぴにゅLv.55事件が起きる fact3: 心苦しいということおよび薬臭いということが生じる fact4: 懐かしいということが起こる fact5: 仄白いということが起きる fact6: もし「みやみわLv.22事件は起きない」ということは誤っていないとしたら「ぷちょぷくLv.6事件は生じなくて受け辛いということは発生しない」ということは成り立つ ; $hypothesis$ = 仄白いということおよび懐かしいということ両方ともが起こる ; $proof$ = 
fact5 -> int1: 仄白いということが起きる; int1 & fact4 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact4 -> hypothesis; __PROVED__