そのぴにゅぴちゃLv.14は立ち歩きしない
fact1: あのぽなぽのLv.29は思い沈む fact2: もし仮に「奥深いかもしくは思い沈む」モンスターがいるとすればそのぴにゅぴちゃLv.14は立ち歩きしない fact3: あのぽなぽのLv.29は立ち歩きするかもしくはそれは奥深いかどちらもだ
fact1 -> int1: あのぽなぽのLv.29は奥深いか思い沈むかもしくは両方である; int1 -> int2: なにがしかのモンスターは奥深いか思い沈むかあるいは両方ともである; int2 & fact2 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact2 -> hypothesis;
$facts$ = fact1: あのぽなぽのLv.29は思い沈む fact2: もし仮に「奥深いかもしくは思い沈む」モンスターがいるとすればそのぴにゅぴちゃLv.14は立ち歩きしない fact3: あのぽなぽのLv.29は立ち歩きするかもしくはそれは奥深いかどちらもだ ; $hypothesis$ = そのぴにゅぴちゃLv.14は立ち歩きしない ; $proof$ = 
fact1 -> int1: あのぽなぽのLv.29は奥深いか思い沈むかもしくは両方である; int1 -> int2: なにがしかのモンスターは奥深いか思い沈むかあるいは両方ともである; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact2 -> hypothesis; __PROVED__