そのまにゃまにょLv.22は化学合成する
fact1: もし仮にこのぴにゅぴにょLv.67が御固い一方で走り易いということはないとするとそのまにゃまにょLv.22は化学合成する fact2: このぴにゅぴにょLv.67は握り易い fact3: 握り易いモンスターは化学合成しない fact4: 仮にこのぴにゅぴにょLv.67が握り易いとすればこのぴにゅぴにょLv.67は御固いけれどそれは走り易くない
fact4 & fact2 -> int1: このぴにゅぴにょLv.67は御固いけどそれは走り易くない; int1 & fact1 -> hypothesis;
fact4 & fact2 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact1 -> hypothesis;
そのまにゃまにょLv.22は化学合成するということはない
fact5 -> int2: もし仮に「そのまにゃまにょLv.22は握り易い」ということは本当なら化学合成するということはない;
$facts$ = fact1: もし仮にこのぴにゅぴにょLv.67が御固い一方で走り易いということはないとするとそのまにゃまにょLv.22は化学合成する fact2: このぴにゅぴにょLv.67は握り易い fact3: 握り易いモンスターは化学合成しない fact4: 仮にこのぴにゅぴにょLv.67が握り易いとすればこのぴにゅぴにょLv.67は御固いけれどそれは走り易くない ; $hypothesis$ = そのまにゃまにょLv.22は化学合成する ; $proof$ = 
fact4 & fact2 -> int1: このぴにゅぴにょLv.67は御固いけどそれは走り易くない; int1 & fact1 -> hypothesis; __PROVED__
fact4 & fact2 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact1 -> hypothesis; __PROVED__