このみよみゆLv.84は嗅ぎ回らない
fact1: このぴちゅぴねLv.36は低し fact2: もし仮にあるモンスターは面白おかしいなら「切り易くなくてしかもそれは低しない」ということは間違いである fact3: コントロールし易いモンスターは面白おかしい fact4: 「仮にこのぴちゅぴねLv.36が低しとすればこのぴちゅぴねLv.36は取得し易くない一方でそれはすーごい」ということは確かだ fact5: もしもこのみよみゆLv.84が切り易いとすると嗅ぎ回る fact6: もしもこのぴちゅぴねLv.36が取得し易くないがしかしそれがすーごいとすればこのみよみゆLv.84は切り易い
fact4 & fact1 -> int1: このぴちゅぴねLv.36は取得し易くないがしかしすーごい; int1 & fact6 -> int2: このみよみゆLv.84は切り易い; int2 & fact5 -> hypothesis;
fact4 & fact1 -> int1: (¬{AA}{a} & {AB}{a}); int1 & fact6 -> int2: {B}{b}; int2 & fact5 -> hypothesis;
このみよみゆLv.84は嗅ぎ回らない
fact7 -> int3: もし仮に「このみよみゆLv.84は面白おかしい」ということは成り立つとすると「このみよみゆLv.84は切り易くなくてそれに低しない」ということは間違っている; fact8 -> int4: このみよみゆLv.84がコントロールし易いとしたらこのみよみゆLv.84は面白おかしい;
$facts$ = fact1: このぴちゅぴねLv.36は低し fact2: もし仮にあるモンスターは面白おかしいなら「切り易くなくてしかもそれは低しない」ということは間違いである fact3: コントロールし易いモンスターは面白おかしい fact4: 「仮にこのぴちゅぴねLv.36が低しとすればこのぴちゅぴねLv.36は取得し易くない一方でそれはすーごい」ということは確かだ fact5: もしもこのみよみゆLv.84が切り易いとすると嗅ぎ回る fact6: もしもこのぴちゅぴねLv.36が取得し易くないがしかしそれがすーごいとすればこのみよみゆLv.84は切り易い ; $hypothesis$ = このみよみゆLv.84は嗅ぎ回らない ; $proof$ = 
fact4 & fact1 -> int1: このぴちゅぴねLv.36は取得し易くないがしかしすーごい; int1 & fact6 -> int2: このみよみゆLv.84は切り易い; int2 & fact5 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: (¬{AA}{a} & {AB}{a}); int1 & fact6 -> int2: {B}{b}; int2 & fact5 -> hypothesis; __DISPROVED__