あのみわみにLv.12は汚らわしくないしかつ脂っこくない
fact1: 日本らしくないかもしくは思わしくないかもしくはどちらもなモンスターは日本らしくない fact2: あらゆるモンスターは日本らしくないがしかし作り難い fact3: 作り難いモンスターは日本らしくないか思わしくないかあるいは両方ともである fact4: もしあのみわみにLv.12が汚らわしいしそれが脂っこいとしたらあのみわみにLv.12は日本らしいということはない fact5: 仮にこのみにゅみよLv.53が思わしいということはないとすればあのみわみにLv.12は汚らわしくないし更に脂っこくない fact6: もしこのみにゅみよLv.53が日本らしくないが作り難いとしたらこのみにゅみよLv.53は思わしくない fact7: あのみわみにLv.12は汚らわしくない
fact2 -> int1: このみにゅみよLv.53は日本らしくないけど作り難い; int1 & fact6 -> int2: このみにゅみよLv.53は思わしくない; int2 & fact5 -> hypothesis;
fact2 -> int1: (¬{A}{aa} & {B}{aa}); int1 & fact6 -> int2: ¬{C}{aa}; int2 & fact5 -> hypothesis;
「あのみわみにLv.12は汚らわしくなくて更にそれは脂っこくない」ということは成り立つということはない
fact9 -> int3: そのぴちゃぴゆLv.75が日本らしくないかそれは思わしくないかもしくは両方ともだとすると「そのぴちゃぴゆLv.75は日本らしくない」ということは正しい; fact8 -> int4: もしもそのぴちゃぴゆLv.75が作り難いとしたら日本らしくないか思わしくないかまたは両方ともである;
$facts$ = fact1: 日本らしくないかもしくは思わしくないかもしくはどちらもなモンスターは日本らしくない fact2: あらゆるモンスターは日本らしくないがしかし作り難い fact3: 作り難いモンスターは日本らしくないか思わしくないかあるいは両方ともである fact4: もしあのみわみにLv.12が汚らわしいしそれが脂っこいとしたらあのみわみにLv.12は日本らしいということはない fact5: 仮にこのみにゅみよLv.53が思わしいということはないとすればあのみわみにLv.12は汚らわしくないし更に脂っこくない fact6: もしこのみにゅみよLv.53が日本らしくないが作り難いとしたらこのみにゅみよLv.53は思わしくない fact7: あのみわみにLv.12は汚らわしくない ; $hypothesis$ = あのみわみにLv.12は汚らわしくないしかつ脂っこくない ; $proof$ = 
fact2 -> int1: このみにゅみよLv.53は日本らしくないけど作り難い; int1 & fact6 -> int2: このみにゅみよLv.53は思わしくない; int2 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: (¬{A}{aa} & {B}{aa}); int1 & fact6 -> int2: ¬{C}{aa}; int2 & fact5 -> hypothesis; __PROVED__