あのぴにゃぴえLv.36は早くなくてかつそれは書き込まない
fact1: 仮に「このぷにゅぷなLv.81は常連らしいしそれは安っぽい」ということは成り立たないとしたらこのぷにゅぷなLv.81は物々しいということはない fact2: 早くないモンスターが物々しいとしたらあのぴにゃぴえLv.36は物々しくない fact3: もしもこのぷねぷくLv.54は書き込まないとしたら「それは早くないしそれは物々しい」ということは成り立つ fact4: もし仮にこのぷにゅぷなLv.81が物々しくないとすればあのぴにゃぴえLv.36は早くないしまた書き込まない fact5: このぷねぷくLv.54は書き込まない fact6: もしもこのぷにゅぷなLv.81が物々しくないとするとあのぴにゃぴえLv.36は早くない fact7: もし仮に「「あのぷよぷよLv.52は白み掛けないけどそれはアメリカっぽい」ということは真実だ」ということは間違っているとするとこのぷねぷくLv.54は益無し fact8: このぷにゅぷなLv.81は田舎臭くない fact9: もし仮になにがしかのモンスターは田舎臭くないとすれば「常連らしいし更に安っぽい」ということは成り立たない
fact9 -> int1: もし仮にこのぷにゅぷなLv.81は田舎臭くないなら「このぷにゅぷなLv.81は常連らしいし更にそれは安っぽい」ということは成り立つということはない; int1 & fact8 -> int2: 「このぷにゅぷなLv.81は常連らしいしさらに安っぽい」ということは間違っている; int2 & fact1 -> int3: このぷにゅぷなLv.81は物々しくない; int3 & fact4 -> hypothesis;
fact9 -> int1: ¬{A}{a} -> ¬({AA}{a} & {AB}{a}); int1 & fact8 -> int2: ¬({AA}{a} & {AB}{a}); int2 & fact1 -> int3: ¬{B}{a}; int3 & fact4 -> hypothesis;
「あのぴにゃぴえLv.36は早くないし更に書き込まない」ということは偽だ
$facts$ = fact1: 仮に「このぷにゅぷなLv.81は常連らしいしそれは安っぽい」ということは成り立たないとしたらこのぷにゅぷなLv.81は物々しいということはない fact2: 早くないモンスターが物々しいとしたらあのぴにゃぴえLv.36は物々しくない fact3: もしもこのぷねぷくLv.54は書き込まないとしたら「それは早くないしそれは物々しい」ということは成り立つ fact4: もし仮にこのぷにゅぷなLv.81が物々しくないとすればあのぴにゃぴえLv.36は早くないしまた書き込まない fact5: このぷねぷくLv.54は書き込まない fact6: もしもこのぷにゅぷなLv.81が物々しくないとするとあのぴにゃぴえLv.36は早くない fact7: もし仮に「「あのぷよぷよLv.52は白み掛けないけどそれはアメリカっぽい」ということは真実だ」ということは間違っているとするとこのぷねぷくLv.54は益無し fact8: このぷにゅぷなLv.81は田舎臭くない fact9: もし仮になにがしかのモンスターは田舎臭くないとすれば「常連らしいし更に安っぽい」ということは成り立たない ; $hypothesis$ = あのぴにゃぴえLv.36は早くなくてかつそれは書き込まない ; $proof$ = 
fact9 -> int1: もし仮にこのぷにゅぷなLv.81は田舎臭くないなら「このぷにゅぷなLv.81は常連らしいし更にそれは安っぽい」ということは成り立つということはない; int1 & fact8 -> int2: 「このぷにゅぷなLv.81は常連らしいしさらに安っぽい」ということは間違っている; int2 & fact1 -> int3: このぷにゅぷなLv.81は物々しくない; int3 & fact4 -> hypothesis; __PROVED__
fact9 -> int1: ¬{A}{a} -> ¬({AA}{a} & {AB}{a}); int1 & fact8 -> int2: ¬({AA}{a} & {AB}{a}); int2 & fact1 -> int3: ¬{B}{a}; int3 & fact4 -> hypothesis; __PROVED__