「狡賢いということが起きるしぴにぴくLv.15事件は生じない」ということは成り立たない
fact1: 「ぎごちないということは生じない」ということは「狡賢いということが起きるがぴにぴくLv.15事件は発生しない」ということを招く fact2: みのみよLv.99事件は発生しない fact3: もし仮に「呆気ないということは起きない」ということは成り立つとしたら溶け出ることが生じるか人懐こいということが生じるかあるいは両方である fact4: ぎごちないということは生じないということは「ぽにゃぽよLv.65事件とぽねぽゆLv.12事件どちらもが生じる」ということが原因だ fact5: もしもぽにゃぽよLv.65事件は起きないなら「狡賢いということが起こるけどぴにぴくLv.15事件は起きない」ということは成り立つということはない fact6: 興奮し易いということが起きるしみくみわLv.36事件は起こらない fact7: ぽねぽゆLv.12事件が生じる fact8: ぽにゃぽよLv.65事件が起こる fact9: 利用し難いということは起こらないとしたら「ぽねぽゆLv.12事件ではなくてぎごちないということが起こる」ということは正しくない
fact8 & fact7 -> int1: ぽにゃぽよLv.65事件が生じるしさらにぽねぽゆLv.12事件が生じる; int1 & fact4 -> int2: ぎごちないということは発生しない; int2 & fact1 -> hypothesis;
fact8 & fact7 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> hypothesis;
「狡賢いということが起きるしぴにぴくLv.15事件は生じない」ということは成り立たない
$facts$ = fact1: 「ぎごちないということは生じない」ということは「狡賢いということが起きるがぴにぴくLv.15事件は発生しない」ということを招く fact2: みのみよLv.99事件は発生しない fact3: もし仮に「呆気ないということは起きない」ということは成り立つとしたら溶け出ることが生じるか人懐こいということが生じるかあるいは両方である fact4: ぎごちないということは生じないということは「ぽにゃぽよLv.65事件とぽねぽゆLv.12事件どちらもが生じる」ということが原因だ fact5: もしもぽにゃぽよLv.65事件は起きないなら「狡賢いということが起こるけどぴにぴくLv.15事件は起きない」ということは成り立つということはない fact6: 興奮し易いということが起きるしみくみわLv.36事件は起こらない fact7: ぽねぽゆLv.12事件が生じる fact8: ぽにゃぽよLv.65事件が起こる fact9: 利用し難いということは起こらないとしたら「ぽねぽゆLv.12事件ではなくてぎごちないということが起こる」ということは正しくない ; $hypothesis$ = 「狡賢いということが起きるしぴにぴくLv.15事件は生じない」ということは成り立たない ; $proof$ = 
fact8 & fact7 -> int1: ぽにゃぽよLv.65事件が生じるしさらにぽねぽゆLv.12事件が生じる; int1 & fact4 -> int2: ぎごちないということは発生しない; int2 & fact1 -> hypothesis; __DISPROVED__
fact8 & fact7 -> int1: ({A} & {B}); int1 & fact4 -> int2: ¬{C}; int2 & fact1 -> hypothesis; __DISPROVED__