「「「いじましくない」ということは事実だとしたら憂いということはないしそれに幼けないということはない」モンスターはいる」ということは正しい
fact1: もしあのぽにぽゆLv.13がアクセスし易くないならばあのぽにぽゆLv.13は幼けなくないし更にそれはおどろおどろしくない fact2: 「あのぷえぷにゃLv.83はいじましい」ということは確かであるとしたらそれは憂くなくて加えてそれは幼けなくない fact3: いじましくないモンスターは憂いということはないしそれに幼けなくない fact4: 仮になんらかのモンスターがいじましくないとしたらそれは憂いしかつ幼けなくない fact5: 「いじましくないとしたら憂くて幼けなくない」モンスターはいる fact6: もし仮に何らかのモンスターが聞こえ難いとすればそれは太り難くないしおまけにどうして良いということはない
fact3 -> int1: 仮に「あのぷえぷにゃLv.83はいじましくない」ということは事実であるとしたらあのぷえぷにゃLv.83は憂くないしその上それは幼けなくない; int1 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしあのぽにぽゆLv.13がアクセスし易くないならばあのぽにぽゆLv.13は幼けなくないし更にそれはおどろおどろしくない fact2: 「あのぷえぷにゃLv.83はいじましい」ということは確かであるとしたらそれは憂くなくて加えてそれは幼けなくない fact3: いじましくないモンスターは憂いということはないしそれに幼けなくない fact4: 仮になんらかのモンスターがいじましくないとしたらそれは憂いしかつ幼けなくない fact5: 「いじましくないとしたら憂くて幼けなくない」モンスターはいる fact6: もし仮に何らかのモンスターが聞こえ難いとすればそれは太り難くないしおまけにどうして良いということはない ; $hypothesis$ = 「「「いじましくない」ということは事実だとしたら憂いということはないしそれに幼けないということはない」モンスターはいる」ということは正しい ; $proof$ = 
fact3 -> int1: 仮に「あのぷえぷにゃLv.83はいじましくない」ということは事実であるとしたらあのぷえぷにゃLv.83は憂くないしその上それは幼けなくない; int1 -> hypothesis; __PROVED__
fact3 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __PROVED__