「このもゆもちょLv.18は麗ししそれはプリントアウトする」ということは成り立たない
fact1: このもゆもちょLv.18はプリントアウトする fact2: もしもあのぴにぴねLv.24が荒っぽいけれどむくつけしないとすればそのぴわぴにゃLv.59は麗しない fact3: 仮に「そのぴわぴにゃLv.59は荒っぽいということはないけど御寂しい」ということは間違っていればこのもゆもちょLv.18は麗し fact4: 「このもゆもちょLv.18は荒っぽい一方でプリントアウトしない」ということは成り立つということはない fact5: それは日本らしくないしさらに稼ぎ捲らないというモンスターはない fact6: もしそのぴわぴにゃLv.59はむくつけしないなら「そのぴわぴにゃLv.59は荒っぽくないけど御寂しい」ということは真実でない fact7: 「そのぴわぴにゃLv.59は麗し」ということは成り立つ fact8: プリントアウトしないしさらに御寂しくないというモンスターはない fact9: そのみちゅみにゅLv.10は麗しということはない fact10: 仮に「このまちゅまねLv.33は日本らしいということはないし稼ぎ捲らない」ということは成り立つということはないならそのぴわぴにゃLv.59はむくつけしということはない
fact5 -> int1: 「このまちゅまねLv.33は日本らしいということはなくてそれは稼ぎ捲らない」ということは偽だ; int1 & fact10 -> int2: そのぴわぴにゃLv.59はむくつけしない; int2 & fact6 -> int3: 「そのぴわぴにゃLv.59は荒っぽくないけどそれは御寂しい」ということは成り立たない; int3 & fact3 -> int4: このもゆもちょLv.18は麗し; int4 & fact1 -> hypothesis;
fact5 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact10 -> int2: ¬{A}{a}; int2 & fact6 -> int3: ¬(¬{B}{a} & {C}{a}); int3 & fact3 -> int4: {D}{b}; int4 & fact1 -> hypothesis;
「このもゆもちょLv.18は麗ししそれはプリントアウトする」ということは成り立たない
$facts$ = fact1: このもゆもちょLv.18はプリントアウトする fact2: もしもあのぴにぴねLv.24が荒っぽいけれどむくつけしないとすればそのぴわぴにゃLv.59は麗しない fact3: 仮に「そのぴわぴにゃLv.59は荒っぽいということはないけど御寂しい」ということは間違っていればこのもゆもちょLv.18は麗し fact4: 「このもゆもちょLv.18は荒っぽい一方でプリントアウトしない」ということは成り立つということはない fact5: それは日本らしくないしさらに稼ぎ捲らないというモンスターはない fact6: もしそのぴわぴにゃLv.59はむくつけしないなら「そのぴわぴにゃLv.59は荒っぽくないけど御寂しい」ということは真実でない fact7: 「そのぴわぴにゃLv.59は麗し」ということは成り立つ fact8: プリントアウトしないしさらに御寂しくないというモンスターはない fact9: そのみちゅみにゅLv.10は麗しということはない fact10: 仮に「このまちゅまねLv.33は日本らしいということはないし稼ぎ捲らない」ということは成り立つということはないならそのぴわぴにゃLv.59はむくつけしということはない ; $hypothesis$ = 「このもゆもちょLv.18は麗ししそれはプリントアウトする」ということは成り立たない ; $proof$ = 
fact5 -> int1: 「このまちゅまねLv.33は日本らしいということはなくてそれは稼ぎ捲らない」ということは偽だ; int1 & fact10 -> int2: そのぴわぴにゃLv.59はむくつけしない; int2 & fact6 -> int3: 「そのぴわぴにゃLv.59は荒っぽくないけどそれは御寂しい」ということは成り立たない; int3 & fact3 -> int4: このもゆもちょLv.18は麗し; int4 & fact1 -> hypothesis; __DISPROVED__
fact5 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact10 -> int2: ¬{A}{a}; int2 & fact6 -> int3: ¬(¬{B}{a} & {C}{a}); int3 & fact3 -> int4: {D}{b}; int4 & fact1 -> hypothesis; __DISPROVED__