そのぴよぴちょLv.36は人間っぽいし引き連れる
fact1: あのみなみえLv.18は発揮し易い fact2: もしもなにがしかのモンスターは人間っぽいとすると「それは大人気無いけど狭いということはない」ということは本当でない fact3: あのまねまゆLv.71はイメージし易い fact4: そのぴよぴちょLv.36は引き連れる fact5: それは陣没するが待ち遠しくないというモンスターはない fact6: 「そのぴよぴちょLv.36は待ち遠しいけど発揮し易くない」ということは誤りならあのまねまゆLv.71は人間っぽくない fact7: もし仮にこのぴよぴえLv.46が人間っぽくないならそのぴよぴちょLv.36は発揮し易いし人間っぽい fact8: もし「「あのまねまゆLv.71は陣没するけれどそれは待ち遠しくない」ということは成り立つということはない」ということは事実であるとするとこのぴよぴえLv.46は人間っぽくない
fact5 -> int1: 「あのまねまゆLv.71は陣没するが待ち遠しくない」ということは成り立つということはない; int1 & fact8 -> int2: 「このぴよぴえLv.46は人間っぽくない」ということは本当である; int2 & fact7 -> int3: そのぴよぴちょLv.36は発揮し易いモンスターでまた人間っぽい; int3 -> int4: そのぴよぴちょLv.36は人間っぽい; int4 & fact4 -> hypothesis;
fact5 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact8 -> int2: ¬{A}{a}; int2 & fact7 -> int3: ({C}{b} & {A}{b}); int3 -> int4: {A}{b}; int4 & fact4 -> hypothesis;
大人気無くてそれは狭いということはないというモンスターはない
fact9 -> int5: このぴよぴえLv.46は人間っぽいとすれば「このぴよぴえLv.46は大人気無いけれど狭いということはない」ということは間違いである;
$facts$ = fact1: あのみなみえLv.18は発揮し易い fact2: もしもなにがしかのモンスターは人間っぽいとすると「それは大人気無いけど狭いということはない」ということは本当でない fact3: あのまねまゆLv.71はイメージし易い fact4: そのぴよぴちょLv.36は引き連れる fact5: それは陣没するが待ち遠しくないというモンスターはない fact6: 「そのぴよぴちょLv.36は待ち遠しいけど発揮し易くない」ということは誤りならあのまねまゆLv.71は人間っぽくない fact7: もし仮にこのぴよぴえLv.46が人間っぽくないならそのぴよぴちょLv.36は発揮し易いし人間っぽい fact8: もし「「あのまねまゆLv.71は陣没するけれどそれは待ち遠しくない」ということは成り立つということはない」ということは事実であるとするとこのぴよぴえLv.46は人間っぽくない ; $hypothesis$ = そのぴよぴちょLv.36は人間っぽいし引き連れる ; $proof$ = 
fact5 -> int1: 「あのまねまゆLv.71は陣没するが待ち遠しくない」ということは成り立つということはない; int1 & fact8 -> int2: 「このぴよぴえLv.46は人間っぽくない」ということは本当である; int2 & fact7 -> int3: そのぴよぴちょLv.36は発揮し易いモンスターでまた人間っぽい; int3 -> int4: そのぴよぴちょLv.36は人間っぽい; int4 & fact4 -> hypothesis; __PROVED__
fact5 -> int1: ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact8 -> int2: ¬{A}{a}; int2 & fact7 -> int3: ({C}{b} & {A}{b}); int3 -> int4: {A}{b}; int4 & fact4 -> hypothesis; __PROVED__