そのぽよぽえLv.80は物珍しい一方で噛み合わない
fact1: このまちゃまちょLv.87が物珍しくないとするとそのぽよぽえLv.80は物珍しいけれど噛み合わない fact2: もしも「あのぴくぴわLv.81は平ったいがしかしし辛くない」ということは成り立たないとしたらこのまちゃまちょLv.87は物珍しいということはない fact3: 物珍しくないモンスターはデートするけど清めない fact4: 「あのぴくぴわLv.81は平ったいしさらにそれはし辛い」ということは真実でない fact5: あのぴくぴわLv.81はデートしないとしたら「「あのぴくぴわLv.81は平ったいがしかしし辛くない」ということは成り立たない」ということは本当だ fact6: もし仮にこのまちゃまちょLv.87が物珍しくないならそのぽよぽえLv.80は物珍しい fact7: あのぴくぴわLv.81はデートしない
fact5 & fact7 -> int1: 「あのぴくぴわLv.81は平ったいがしかしそれはし辛くない」ということは成り立たない; int1 & fact2 -> int2: このまちゃまちょLv.87は物珍しくない; int2 & fact1 -> hypothesis;
fact5 & fact7 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact2 -> int2: ¬{B}{b}; int2 & fact1 -> hypothesis;
あのもやもちゃLv.43はデートするけれど清めない
fact8 -> int3: もし仮にあのもやもちゃLv.43が物珍しくないとしたらデートするが清めない;
$facts$ = fact1: このまちゃまちょLv.87が物珍しくないとするとそのぽよぽえLv.80は物珍しいけれど噛み合わない fact2: もしも「あのぴくぴわLv.81は平ったいがしかしし辛くない」ということは成り立たないとしたらこのまちゃまちょLv.87は物珍しいということはない fact3: 物珍しくないモンスターはデートするけど清めない fact4: 「あのぴくぴわLv.81は平ったいしさらにそれはし辛い」ということは真実でない fact5: あのぴくぴわLv.81はデートしないとしたら「「あのぴくぴわLv.81は平ったいがしかしし辛くない」ということは成り立たない」ということは本当だ fact6: もし仮にこのまちゃまちょLv.87が物珍しくないならそのぽよぽえLv.80は物珍しい fact7: あのぴくぴわLv.81はデートしない ; $hypothesis$ = そのぽよぽえLv.80は物珍しい一方で噛み合わない ; $proof$ = 
fact5 & fact7 -> int1: 「あのぴくぴわLv.81は平ったいがしかしそれはし辛くない」ということは成り立たない; int1 & fact2 -> int2: このまちゃまちょLv.87は物珍しくない; int2 & fact1 -> hypothesis; __PROVED__
fact5 & fact7 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact2 -> int2: ¬{B}{b}; int2 & fact1 -> hypothesis; __PROVED__