このぷゆぷわLv.14は見出だし難いということはないし遣り易くない
fact1: 馬鹿でかいということはないモンスターは遣り易くない fact2: 何らかのモンスターは小暗い fact3: このぷゆぷわLv.14は遣り易くない fact4: このぷゆぷわLv.14が見出だし難いということはないとすればあのぽなぽゆLv.62は見出だし難くない fact5: 「馬鹿でかくないけど小暗い」モンスターはいる fact6: もしなんらかのモンスターが馬鹿でかくない一方で小暗いなら「あのぽなぽゆLv.62は遣り易くない」ということは確かだ fact7: 「見出だし難くないけれど遣り易い」モンスターはいる fact8: もし仮にあのぽなぽゆLv.62が遣り易いということはないとするとこのぷゆぷわLv.14は見出だし難いということはないしまた遣り易くない
fact5 & fact6 -> int1: あのぽなぽゆLv.62は遣り易いということはない; int1 & fact8 -> hypothesis;
fact5 & fact6 -> int1: ¬{C}{a}; int1 & fact8 -> hypothesis;
そのみのみいLv.49は遣り易いということはない
fact9 -> int2: そのみのみいLv.49が馬鹿でかいということはないとすればそのみのみいLv.49は遣り易くない;
$facts$ = fact1: 馬鹿でかいということはないモンスターは遣り易くない fact2: 何らかのモンスターは小暗い fact3: このぷゆぷわLv.14は遣り易くない fact4: このぷゆぷわLv.14が見出だし難いということはないとすればあのぽなぽゆLv.62は見出だし難くない fact5: 「馬鹿でかくないけど小暗い」モンスターはいる fact6: もしなんらかのモンスターが馬鹿でかくない一方で小暗いなら「あのぽなぽゆLv.62は遣り易くない」ということは確かだ fact7: 「見出だし難くないけれど遣り易い」モンスターはいる fact8: もし仮にあのぽなぽゆLv.62が遣り易いということはないとするとこのぷゆぷわLv.14は見出だし難いということはないしまた遣り易くない ; $hypothesis$ = このぷゆぷわLv.14は見出だし難いということはないし遣り易くない ; $proof$ = 
fact5 & fact6 -> int1: あのぽなぽゆLv.62は遣り易いということはない; int1 & fact8 -> hypothesis; __PROVED__
fact5 & fact6 -> int1: ¬{C}{a}; int1 & fact8 -> hypothesis; __PROVED__