このぷよぷやLv.80は喋り難い
fact1: あのぴちゅぴにLv.36は愛情深くないとすると「あのぴちゅぴにLv.36は恙無くないかもしくはぽんする」ということは成り立たない fact2: あのぴちゅぴにLv.36がすんごいとすればあのぴちゅぴにLv.36はぽんする fact3: もし「あのぴちゅぴにLv.36はぽんする」ということは正しいとしたらこのぷよぷやLv.80は喋り難い fact4: あのぴちゅぴにLv.36は優しくてまたすんごい fact5: 仮にあのぴちゅぴにLv.36が救い難いなら愛情深くない fact6: もし仮に「何らかのモンスターはすんごいがしかし優しくない」ということは嘘だとすると「それは喋り難くない」ということは本当である fact7: もしなんらかのモンスターはぽんしないとすると「それはすんごいししかもそれは優しくない」ということは嘘だ
fact4 -> int1: あのぴちゅぴにLv.36はすんごい; int1 & fact2 -> int2: あのぴちゅぴにLv.36はぽんする; int2 & fact3 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
このぷよぷやLv.80は喋り難いということはない
fact10 -> int3: もし「このぷよぷやLv.80はすんごいけれどそれは優しくない」ということは成り立たないとしたら「喋り難くない」ということは確かである; fact9 -> int4: もし仮にこのぷよぷやLv.80はぽんするということはないとすれば「すんごいししかも優しくない」ということは誤りだ;
$facts$ = fact1: あのぴちゅぴにLv.36は愛情深くないとすると「あのぴちゅぴにLv.36は恙無くないかもしくはぽんする」ということは成り立たない fact2: あのぴちゅぴにLv.36がすんごいとすればあのぴちゅぴにLv.36はぽんする fact3: もし「あのぴちゅぴにLv.36はぽんする」ということは正しいとしたらこのぷよぷやLv.80は喋り難い fact4: あのぴちゅぴにLv.36は優しくてまたすんごい fact5: 仮にあのぴちゅぴにLv.36が救い難いなら愛情深くない fact6: もし仮に「何らかのモンスターはすんごいがしかし優しくない」ということは嘘だとすると「それは喋り難くない」ということは本当である fact7: もしなんらかのモンスターはぽんしないとすると「それはすんごいししかもそれは優しくない」ということは嘘だ ; $hypothesis$ = このぷよぷやLv.80は喋り難い ; $proof$ = 
fact4 -> int1: あのぴちゅぴにLv.36はすんごい; int1 & fact2 -> int2: あのぴちゅぴにLv.36はぽんする; int2 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __PROVED__