「温まることが生じるししかもぷちょぷゆLv.74事件が起こる」ということは偽である
fact1: 温まることが起きる fact2: 悪戯っぽいということが生じるし床しいということが生じる fact3: もし仮に心苦しいということは生じないなら「温まることが起こるし加えてぷちょぷゆLv.74事件が起こる」ということは偽だ fact4: 心苦しいということとぽねぽちゅLv.85事件両方が起きる fact5: みにょみねLv.50事件が起こる fact6: ぽねぽちゅLv.85事件は「ぷちょぷゆLv.74事件は発生しない」ということを回避する fact7: ぴのぴにゅLv.23事件が生じる
fact4 -> int1: 「ぽねぽちゅLv.85事件が起こる」ということは正しい; int1 & fact6 -> int2: ぷちょぷゆLv.74事件が発生する; int2 & fact1 -> hypothesis;
fact4 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact1 -> hypothesis;
「温まることが生じるししかもぷちょぷゆLv.74事件が起こる」ということは偽である
$facts$ = fact1: 温まることが起きる fact2: 悪戯っぽいということが生じるし床しいということが生じる fact3: もし仮に心苦しいということは生じないなら「温まることが起こるし加えてぷちょぷゆLv.74事件が起こる」ということは偽だ fact4: 心苦しいということとぽねぽちゅLv.85事件両方が起きる fact5: みにょみねLv.50事件が起こる fact6: ぽねぽちゅLv.85事件は「ぷちょぷゆLv.74事件は発生しない」ということを回避する fact7: ぴのぴにゅLv.23事件が生じる ; $hypothesis$ = 「温まることが生じるししかもぷちょぷゆLv.74事件が起こる」ということは偽である ; $proof$ = 
fact4 -> int1: 「ぽねぽちゅLv.85事件が起こる」ということは正しい; int1 & fact6 -> int2: ぷちょぷゆLv.74事件が発生する; int2 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 & fact1 -> hypothesis; __DISPROVED__