あのぷにぷやLv.29は再集計する
fact1: もしあのぷにぷやLv.29が浅黒いししかも上り易いとしたらあのぷにぷやLv.29は再集計しない fact2: このぴにょぴゆLv.14は小汚いがしかし役らしくない fact3: もしとあるモンスターが小汚いけれどそれが役らしくないならあのぷにぷやLv.29は刮目しない fact4: あのぷにぷやLv.29は刮目するということはないとすると「このみねみなLv.99は浅黒くて上り易い」ということは事実だ fact5: あのぷにぷやLv.29は浅黒い fact6: そのもにゃもにょLv.69が通じ易くないとしたらこのみねみなLv.99は仕舞い易いし口さがない fact7: あのぷにぷやLv.29は上り易い fact8: そのもにゃもにょLv.69は活動し易くなくて更に通じ易くない
fact5 & fact7 -> int1: あのぷにぷやLv.29は浅黒くてそれは上り易い; int1 & fact1 -> hypothesis;
fact5 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis;
このみねみなLv.99は仕舞い易くてそれにそれは再集計する
fact12 -> int2: そのもにゃもにょLv.69は通じ易くない; fact13 & int2 -> int3: このみねみなLv.99は仕舞い易いしさらに口さがない; int3 -> int4: このみねみなLv.99は仕舞い易い; fact9 -> int5: 何らかのモンスターは小汚いが役らしいということはない; int5 & fact11 -> int6: あのぷにぷやLv.29は刮目するということはない; fact10 & int6 -> int7: このみねみなLv.99は浅黒いしおまけに上り易い; int7 -> int8: このみねみなLv.99は浅黒い;
$facts$ = fact1: もしあのぷにぷやLv.29が浅黒いししかも上り易いとしたらあのぷにぷやLv.29は再集計しない fact2: このぴにょぴゆLv.14は小汚いがしかし役らしくない fact3: もしとあるモンスターが小汚いけれどそれが役らしくないならあのぷにぷやLv.29は刮目しない fact4: あのぷにぷやLv.29は刮目するということはないとすると「このみねみなLv.99は浅黒くて上り易い」ということは事実だ fact5: あのぷにぷやLv.29は浅黒い fact6: そのもにゃもにょLv.69が通じ易くないとしたらこのみねみなLv.99は仕舞い易いし口さがない fact7: あのぷにぷやLv.29は上り易い fact8: そのもにゃもにょLv.69は活動し易くなくて更に通じ易くない ; $hypothesis$ = あのぷにぷやLv.29は再集計する ; $proof$ = 
fact5 & fact7 -> int1: あのぷにぷやLv.29は浅黒くてそれは上り易い; int1 & fact1 -> hypothesis; __DISPROVED__
fact5 & fact7 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> hypothesis; __DISPROVED__