「「そのぴくぴわLv.44は起き難いかまたは操作し易いかまたは両方だ」ということは成り立つ」ということは確かでない
fact1: 仮にそのぴくぴわLv.44が茶色っぽいとしたら起き難い fact2: あのもえもよLv.97は操作し易くない fact3: 「あのぽねぽちゅLv.30は見窄らしいということはない」ということは本当である fact4: 惨いモンスターは薄明るい fact5: もし「あのぽねぽちゅLv.30は儚しが見窄らしいということはない」ということは真実ならそのぴくぴわLv.44は茶色っぽい fact6: もしあのぽねぽちゅLv.30が儚しし更にそれが見窄らしいならそのぴくぴわLv.44は茶色っぽい fact7: もしもあのぽねぽちゅLv.30が儚ししおまけに操作し易いならそのぴくぴわLv.44は起き難い fact8: あのぽねぽちゅLv.30は儚し一方で見窄らしいということはない
fact5 & fact8 -> int1: そのぴくぴわLv.44は茶色っぽい; int1 & fact1 -> int2: そのぴくぴわLv.44は起き難い; int2 -> hypothesis;
fact5 & fact8 -> int1: {B}{b}; int1 & fact1 -> int2: {A}{b}; int2 -> hypothesis;
もし「このまいまにょLv.61は惨い」ということは正しいとすればこのまいまにょLv.61は薄明るい
fact9 -> hypothesis;
$facts$ = fact1: 仮にそのぴくぴわLv.44が茶色っぽいとしたら起き難い fact2: あのもえもよLv.97は操作し易くない fact3: 「あのぽねぽちゅLv.30は見窄らしいということはない」ということは本当である fact4: 惨いモンスターは薄明るい fact5: もし「あのぽねぽちゅLv.30は儚しが見窄らしいということはない」ということは真実ならそのぴくぴわLv.44は茶色っぽい fact6: もしあのぽねぽちゅLv.30が儚しし更にそれが見窄らしいならそのぴくぴわLv.44は茶色っぽい fact7: もしもあのぽねぽちゅLv.30が儚ししおまけに操作し易いならそのぴくぴわLv.44は起き難い fact8: あのぽねぽちゅLv.30は儚し一方で見窄らしいということはない ; $hypothesis$ = 「「そのぴくぴわLv.44は起き難いかまたは操作し易いかまたは両方だ」ということは成り立つ」ということは確かでない ; $proof$ = 
fact5 & fact8 -> int1: そのぴくぴわLv.44は茶色っぽい; int1 & fact1 -> int2: そのぴくぴわLv.44は起き難い; int2 -> hypothesis; __DISPROVED__
fact5 & fact8 -> int1: {B}{b}; int1 & fact1 -> int2: {A}{b}; int2 -> hypothesis; __DISPROVED__