このぴにぴよLv.65は嫌らしくない
fact1: もし仮にこのまねまわLv.55が向かえばこのみえみのLv.22は掴み易い fact2: 仮にあのぷにょぷにLv.32が嫌らしいならあのぷにょぷにLv.32は図り難い fact3: なんらかのモンスターが数日すればそれは向かわなくて更に掴み易くない fact4: このまねまわLv.55は向かうしまた其れらしい fact5: このみえみのLv.22が掴み易いとするとこのぴにぴよLv.65は嫌らしい
fact4 -> int1: このまねまわLv.55は向かう; int1 & fact1 -> int2: このみえみのLv.22は掴み易い; int2 & fact5 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
このぴにぴよLv.65は嫌らしくない
fact6 -> int3: もしもこのみえみのLv.22が数日すればそれは向かわなくておまけに掴み易いということはない;
$facts$ = fact1: もし仮にこのまねまわLv.55が向かえばこのみえみのLv.22は掴み易い fact2: 仮にあのぷにょぷにLv.32が嫌らしいならあのぷにょぷにLv.32は図り難い fact3: なんらかのモンスターが数日すればそれは向かわなくて更に掴み易くない fact4: このまねまわLv.55は向かうしまた其れらしい fact5: このみえみのLv.22が掴み易いとするとこのぴにぴよLv.65は嫌らしい ; $hypothesis$ = このぴにぴよLv.65は嫌らしくない ; $proof$ = 
fact4 -> int1: このまねまわLv.55は向かう; int1 & fact1 -> int2: このみえみのLv.22は掴み易い; int2 & fact5 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact5 -> hypothesis; __DISPROVED__