「「脂っぽくないとすると「入り辛いしおまけに煩わしい」ということは誤りな」モンスターはいる」ということは確かでない
fact1: あるモンスターは脂っぽいということはないなら「それは入り辛くて煩わしい」ということは間違っている fact2: もしもこのぷにぷよLv.22は脂っぽいならば「入り辛いしさらにそれは煩わしい」ということは誤りだ fact3: 仮になにがしかのモンスターはプル・バックするとすると「それは資本参加するしまた軽い」ということは成り立たない
fact1 -> int1: もし仮にこのぷにぷよLv.22は脂っぽくないならば「「このぷにぷよLv.22は入り辛くてさらに煩わしい」ということは確かである」ということは嘘である; int1 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: あるモンスターは脂っぽいということはないなら「それは入り辛くて煩わしい」ということは間違っている fact2: もしもこのぷにぷよLv.22は脂っぽいならば「入り辛いしさらにそれは煩わしい」ということは誤りだ fact3: 仮になにがしかのモンスターはプル・バックするとすると「それは資本参加するしまた軽い」ということは成り立たない ; $hypothesis$ = 「「脂っぽくないとすると「入り辛いしおまけに煩わしい」ということは誤りな」モンスターはいる」ということは確かでない ; $proof$ = 
fact1 -> int1: もし仮にこのぷにぷよLv.22は脂っぽくないならば「「このぷにぷよLv.22は入り辛くてさらに煩わしい」ということは確かである」ということは嘘である; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 -> hypothesis; __DISPROVED__