「「いがらっぽくないしタイトルらしくない」ということは成り立たない」モンスターはいる
fact1: そのぴいぴちょLv.79は持ち難いということはない fact2: 「あのぷのぷよLv.95はいがらっぽいがタイトルらしくない」ということは偽である fact3: 仮にそのぴいぴちょLv.79は持ち難くないなら「あのぷのぷよLv.95はいがらっぽくなくてそれにタイトルらしくない」ということは確かでない fact4: いがらっぽいということはなくておまけにタイトルらしくないモンスターはいる
fact3 & fact1 -> int1: 「あのぷのぷよLv.95はいがらっぽくなくてタイトルらしくない」ということは嘘である; int1 -> hypothesis;
fact3 & fact1 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 -> hypothesis;
$facts$ = fact1: そのぴいぴちょLv.79は持ち難いということはない fact2: 「あのぷのぷよLv.95はいがらっぽいがタイトルらしくない」ということは偽である fact3: 仮にそのぴいぴちょLv.79は持ち難くないなら「あのぷのぷよLv.95はいがらっぽくなくてそれにタイトルらしくない」ということは確かでない fact4: いがらっぽいということはなくておまけにタイトルらしくないモンスターはいる ; $hypothesis$ = 「「いがらっぽくないしタイトルらしくない」ということは成り立たない」モンスターはいる ; $proof$ = 
fact3 & fact1 -> int1: 「あのぷのぷよLv.95はいがらっぽくなくてタイトルらしくない」ということは嘘である; int1 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 -> hypothesis; __PROVED__