「あのぷのぷちゃLv.87は古めかしい」ということは成り立つ
fact1: もしもあのぷのぷちゃLv.87が説明し易いとしたらあのぷのぷちゃLv.87は発生し易い fact2: あらゆるモンスターは退役するし更に説明し易い fact3: もしあのぷのぷちゃLv.87が発生し易いとしたらあのぷのぷちゃLv.87は古めかしい fact4: そのまゆまよLv.51は退役する fact5: 仮に「あのぷのぷちゃLv.87は発生し易いがしかし天使らしくない」ということは事実と異なるとすると発生し易くない fact6: 仮にとあるモンスターが退役するならそれは受け難い fact7: あのぷのぷちゃLv.87は把握し辛い fact8: もし「あのぷのぷちゃLv.87は説明し易いけれど発生し易いということはない」ということは嘘ならそのぴにゅぴくLv.34は退役する
fact2 -> int1: あのぷのぷちゃLv.87は退役するし更に説明し易い; int1 -> int2: あのぷのぷちゃLv.87は説明し易い; int2 & fact1 -> int3: あのぷのぷちゃLv.87は発生し易い; int3 & fact3 -> hypothesis;
fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact1 -> int3: {C}{a}; int3 & fact3 -> hypothesis;
あのぷのぷちゃLv.87は古めかしくない
$facts$ = fact1: もしもあのぷのぷちゃLv.87が説明し易いとしたらあのぷのぷちゃLv.87は発生し易い fact2: あらゆるモンスターは退役するし更に説明し易い fact3: もしあのぷのぷちゃLv.87が発生し易いとしたらあのぷのぷちゃLv.87は古めかしい fact4: そのまゆまよLv.51は退役する fact5: 仮に「あのぷのぷちゃLv.87は発生し易いがしかし天使らしくない」ということは事実と異なるとすると発生し易くない fact6: 仮にとあるモンスターが退役するならそれは受け難い fact7: あのぷのぷちゃLv.87は把握し辛い fact8: もし「あのぷのぷちゃLv.87は説明し易いけれど発生し易いということはない」ということは嘘ならそのぴにゅぴくLv.34は退役する ; $hypothesis$ = 「あのぷのぷちゃLv.87は古めかしい」ということは成り立つ ; $proof$ = 
fact2 -> int1: あのぷのぷちゃLv.87は退役するし更に説明し易い; int1 -> int2: あのぷのぷちゃLv.87は説明し易い; int2 & fact1 -> int3: あのぷのぷちゃLv.87は発生し易い; int3 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 & fact1 -> int3: {C}{a}; int3 & fact3 -> hypothesis; __PROVED__