このぷゆぷなLv.66は仰々しくてさらに差別化出来る
fact1: このぷゆぷなLv.66は阿呆らしい fact2: このもちゃもねLv.22は仰々しい fact3: あらゆるモンスターは故無くない fact4: もしあるモンスターは阿呆らしくないならば「仰々しいしそれは差別化出来る」ということは偽だ fact5: 全てのモンスターは仰々しくてそれにそれは阿呆らしい fact6: すべてのモンスターは阿呆らしい fact7: このぷゆぷなLv.66は差別化出来る
fact5 -> int1: このぷゆぷなLv.66は仰々しいしさらにそれは阿呆らしい; int1 -> int2: このぷゆぷなLv.66は仰々しい; int2 & fact7 -> hypothesis;
fact5 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {A}{aa}; int2 & fact7 -> hypothesis;
「このぷゆぷなLv.66は仰々しくて更に差別化出来る」ということは誤っている
fact9 -> int3: もしもこのぷゆぷなLv.66は阿呆らしくないならば「仰々しいしおまけに差別化出来る」ということは嘘である; fact8 -> int4: このぷにゃぷやLv.99は故無くない;
$facts$ = fact1: このぷゆぷなLv.66は阿呆らしい fact2: このもちゃもねLv.22は仰々しい fact3: あらゆるモンスターは故無くない fact4: もしあるモンスターは阿呆らしくないならば「仰々しいしそれは差別化出来る」ということは偽だ fact5: 全てのモンスターは仰々しくてそれにそれは阿呆らしい fact6: すべてのモンスターは阿呆らしい fact7: このぷゆぷなLv.66は差別化出来る ; $hypothesis$ = このぷゆぷなLv.66は仰々しくてさらに差別化出来る ; $proof$ = 
fact5 -> int1: このぷゆぷなLv.66は仰々しいしさらにそれは阿呆らしい; int1 -> int2: このぷゆぷなLv.66は仰々しい; int2 & fact7 -> hypothesis; __PROVED__
fact5 -> int1: ({A}{aa} & {B}{aa}); int1 -> int2: {A}{aa}; int2 & fact7 -> hypothesis; __PROVED__