このぴのぴにょLv.85は格好良い
fact1: そのぴいぴねLv.87は遠し fact2: もし仮に「そのぴいぴねLv.87は出張するけどそれは名残惜しくない」ということは誤りであるとしたらこのまいまちょLv.43は利用し辛くない fact3: 仮に「そのぴいぴねLv.87は格好良いがしかしそれは出張しない」ということは成り立たないならばこのぴのぴにょLv.85は遠しということはない fact4: 「そのぴいぴねLv.87が出張するしその上それは名残惜しい」ということは本当でない fact5: 「そのぴいぴねLv.87は遠し」ということは真実であるなら「出張するしかつ名残惜しい」ということは誤っている fact6: もしこのまいまちょLv.43が利用し辛くないけどそれが眩しいとすればこのぴのぴにょLv.85は格好良いということはない fact7: もしあるモンスターが眩しくないとすれば遠しないしその上利用し辛くない fact8: もしなんらかのモンスターは遠しとすれば「出張するしそれは名残惜しくない」ということは真実でない fact9: このまいまちょLv.43は眩しい fact10: もしもそのぴいぴねLv.87が名残惜しいとしたらこのまいまちょLv.43は利用し辛くない
fact8 -> int1: 仮にそのぴいぴねLv.87は遠しとすると「そのぴいぴねLv.87は出張する一方で名残惜しくない」ということは成り立たない; int1 & fact1 -> int2: 「そのぴいぴねLv.87は出張するがそれは名残惜しいということはない」ということは嘘だ; int2 & fact2 -> int3: このまいまちょLv.43は利用し辛くない; int3 & fact9 -> int4: このまいまちょLv.43は利用し辛いということはないけれどそれは眩しい; int4 & fact6 -> hypothesis;
fact8 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> int3: ¬{B}{a}; int3 & fact9 -> int4: (¬{B}{a} & {C}{a}); int4 & fact6 -> hypothesis;
このぽねぽよLv.59は出張する
fact11 -> int5: もしこのまいまちょLv.43が眩しくないならばそれは遠しないし利用し辛くない;
$facts$ = fact1: そのぴいぴねLv.87は遠し fact2: もし仮に「そのぴいぴねLv.87は出張するけどそれは名残惜しくない」ということは誤りであるとしたらこのまいまちょLv.43は利用し辛くない fact3: 仮に「そのぴいぴねLv.87は格好良いがしかしそれは出張しない」ということは成り立たないならばこのぴのぴにょLv.85は遠しということはない fact4: 「そのぴいぴねLv.87が出張するしその上それは名残惜しい」ということは本当でない fact5: 「そのぴいぴねLv.87は遠し」ということは真実であるなら「出張するしかつ名残惜しい」ということは誤っている fact6: もしこのまいまちょLv.43が利用し辛くないけどそれが眩しいとすればこのぴのぴにょLv.85は格好良いということはない fact7: もしあるモンスターが眩しくないとすれば遠しないしその上利用し辛くない fact8: もしなんらかのモンスターは遠しとすれば「出張するしそれは名残惜しくない」ということは真実でない fact9: このまいまちょLv.43は眩しい fact10: もしもそのぴいぴねLv.87が名残惜しいとしたらこのまいまちょLv.43は利用し辛くない ; $hypothesis$ = このぴのぴにょLv.85は格好良い ; $proof$ = 
fact8 -> int1: 仮にそのぴいぴねLv.87は遠しとすると「そのぴいぴねLv.87は出張する一方で名残惜しくない」ということは成り立たない; int1 & fact1 -> int2: 「そのぴいぴねLv.87は出張するがそれは名残惜しいということはない」ということは嘘だ; int2 & fact2 -> int3: このまいまちょLv.43は利用し辛くない; int3 & fact9 -> int4: このまいまちょLv.43は利用し辛いということはないけれどそれは眩しい; int4 & fact6 -> hypothesis; __DISPROVED__
fact8 -> int1: {A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact2 -> int3: ¬{B}{a}; int3 & fact9 -> int4: (¬{B}{a} & {C}{a}); int4 & fact6 -> hypothesis; __DISPROVED__