そのぽなぽにLv.2は思慮深い
fact1: そのぽなぽにLv.2は色っぽい fact2: 凛々しくないモンスターは奏でるしおまけに見過ごし難い fact3: そのぽなぽにLv.2は素晴らし fact4: もし「奏でる」モンスターがいればあのぴねぴよLv.79は思慮深くてさらに素晴らし fact5: もしそのぽなぽにLv.2が素晴らししさらに色っぽいならそのぽなぽにLv.2は思慮深くない fact6: あらゆるモンスターは凛々しくない
fact3 & fact1 -> int1: そのぽなぽにLv.2は素晴らしし色っぽい; int1 & fact5 -> hypothesis;
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> hypothesis;
あのぴねぴよLv.79は色っぽい
fact7 -> int2: そのぴにゅぴにゃLv.78が凛々しくないとしたらそれは奏でるしおまけに見過ごし難い; fact9 -> int3: そのぴにゅぴにゃLv.78は凛々しくない; int2 & int3 -> int4: そのぴにゅぴにゃLv.78は奏でるしさらに見過ごし難い; int4 -> int5: すべてのモンスターは奏でるしおまけにそれは見過ごし難い; int5 -> int6: そのぽなぽにLv.2は奏でるしおまけに見過ごし難い; int6 -> int7: そのぽなぽにLv.2は奏でる; int7 -> int8: 「奏でる」モンスターはいる; fact8 & int8 -> int9: あのぴねぴよLv.79は思慮深くて素晴らし; int9 -> int10: あのぴねぴよLv.79は素晴らし;
$facts$ = fact1: そのぽなぽにLv.2は色っぽい fact2: 凛々しくないモンスターは奏でるしおまけに見過ごし難い fact3: そのぽなぽにLv.2は素晴らし fact4: もし「奏でる」モンスターがいればあのぴねぴよLv.79は思慮深くてさらに素晴らし fact5: もしそのぽなぽにLv.2が素晴らししさらに色っぽいならそのぽなぽにLv.2は思慮深くない fact6: あらゆるモンスターは凛々しくない ; $hypothesis$ = そのぽなぽにLv.2は思慮深い ; $proof$ = 
fact3 & fact1 -> int1: そのぽなぽにLv.2は素晴らしし色っぽい; int1 & fact5 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> hypothesis; __DISPROVED__