そのぽゆぽにゃLv.12は移行し易い
fact1: もしもそのぽゆぽにゃLv.12が小高いとしたらこのぴいぴにょLv.94は移行し易くない fact2: 薬臭いモンスターは移行し易いかもしくは小高くないか両方ともである fact3: もし仮にこのぴいぴにょLv.94が小高いならばそのぽゆぽにゃLv.12は移行し易いということはない fact4: このぴいぴにょLv.94は薬臭い fact5: 仮にこのぴいぴにょLv.94が忘れ易くないならそのぽゆぽにゃLv.12は移行し易いということはない fact6: 薬臭いモンスターは小高いかまたは忘れ易くないかもしくはどちらもである
fact6 -> int1: このぴいぴにょLv.94は薬臭いとしたら「このぴいぴにょLv.94は小高いかもしくは忘れ易くないかあるいは両方ともである」ということは確かだ; int1 & fact4 -> int2: このぴいぴにょLv.94は小高いかあるいは忘れ易いということはないかまたは両方だ; int2 & fact3 & fact5 -> hypothesis;
fact6 -> int1: {A}{aa} -> ({AA}{aa} v ¬{AB}{aa}); int1 & fact4 -> int2: ({AA}{aa} v ¬{AB}{aa}); int2 & fact3 & fact5 -> hypothesis;
$facts$ = fact1: もしもそのぽゆぽにゃLv.12が小高いとしたらこのぴいぴにょLv.94は移行し易くない fact2: 薬臭いモンスターは移行し易いかもしくは小高くないか両方ともである fact3: もし仮にこのぴいぴにょLv.94が小高いならばそのぽゆぽにゃLv.12は移行し易いということはない fact4: このぴいぴにょLv.94は薬臭い fact5: 仮にこのぴいぴにょLv.94が忘れ易くないならそのぽゆぽにゃLv.12は移行し易いということはない fact6: 薬臭いモンスターは小高いかまたは忘れ易くないかもしくはどちらもである ; $hypothesis$ = そのぽゆぽにゃLv.12は移行し易い ; $proof$ = 
fact6 -> int1: このぴいぴにょLv.94は薬臭いとしたら「このぴいぴにょLv.94は小高いかもしくは忘れ易くないかあるいは両方ともである」ということは確かだ; int1 & fact4 -> int2: このぴいぴにょLv.94は小高いかあるいは忘れ易いということはないかまたは両方だ; int2 & fact3 & fact5 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{aa} -> ({AA}{aa} v ¬{AB}{aa}); int1 & fact4 -> int2: ({AA}{aa} v ¬{AB}{aa}); int2 & fact3 & fact5 -> hypothesis; __DISPROVED__