「そのぽちゃぽよLv.66は恐れ入るということはない」ということは確かだ
fact1: 「このぷゆぷよLv.96は対応し切れるということはない」ということは真実である fact2: もし仮にこのぷゆぷよLv.96がマッチングしないとするとそのぽちゃぽよLv.66は恐れ入らない fact3: あるモンスターが対応し切れないならば負け続けるかあるいはマッチングしないかまたは両方ともである fact4: もし仮にこのぷゆぷよLv.96が負け続けるならそのぽちゃぽよLv.66は恐れ入らない
fact3 -> int1: もしもこのぷゆぷよLv.96が対応し切れるということはないならばこのぷゆぷよLv.96は負け続けるかマッチングしない; int1 & fact1 -> int2: このぷゆぷよLv.96は負け続けるかあるいはそれはマッチングしないか両方ともである; int2 & fact4 & fact2 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ({AA}{aa} v ¬{AB}{aa}); int1 & fact1 -> int2: ({AA}{aa} v ¬{AB}{aa}); int2 & fact4 & fact2 -> hypothesis;
$facts$ = fact1: 「このぷゆぷよLv.96は対応し切れるということはない」ということは真実である fact2: もし仮にこのぷゆぷよLv.96がマッチングしないとするとそのぽちゃぽよLv.66は恐れ入らない fact3: あるモンスターが対応し切れないならば負け続けるかあるいはマッチングしないかまたは両方ともである fact4: もし仮にこのぷゆぷよLv.96が負け続けるならそのぽちゃぽよLv.66は恐れ入らない ; $hypothesis$ = 「そのぽちゃぽよLv.66は恐れ入るということはない」ということは確かだ ; $proof$ = 
fact3 -> int1: もしもこのぷゆぷよLv.96が対応し切れるということはないならばこのぷゆぷよLv.96は負け続けるかマッチングしない; int1 & fact1 -> int2: このぷゆぷよLv.96は負け続けるかあるいはそれはマッチングしないか両方ともである; int2 & fact4 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: ¬{A}{aa} -> ({AA}{aa} v ¬{AB}{aa}); int1 & fact1 -> int2: ({AA}{aa} v ¬{AB}{aa}); int2 & fact4 & fact2 -> hypothesis; __PROVED__