このぽねぽねLv.22は柔らかいししかもざらざらする
fact1: もしもなにがしかのモンスターが吸収し易いとすれば低い fact2: あるモンスターは誤り無い fact3: 全てのモンスターは吸収し易い fact4: もし仮に「何らかのモンスターは誤り無い」ということは成り立つとするとこのぽねぽねLv.22は柔らかくてそれはざらざらする fact5: もし仮にこのぷくぷえLv.40は誤り無くないとすれば「このぽねぽねLv.22は柔らかくてざらざらする」ということは成り立たない fact6: 「ざらざらする」モンスターはいる fact7: このぽねぽねLv.22はざらざらするし塩味する
fact2 -> int1: あるモンスターは誤り無い; int1 & fact4 -> hypothesis;
fact2 -> int1: (Ex): {A}x; int1 & fact4 -> hypothesis;
「このぽねぽねLv.22は柔らかいしざらざらする」ということは成り立たない
fact10 -> int2: 仮にそのまわまねLv.67が吸収し易いとしたらそのまわまねLv.67は低い; fact9 -> int3: そのまわまねLv.67は吸収し易い; int2 & int3 -> int4: そのまわまねLv.67は低い;
$facts$ = fact1: もしもなにがしかのモンスターが吸収し易いとすれば低い fact2: あるモンスターは誤り無い fact3: 全てのモンスターは吸収し易い fact4: もし仮に「何らかのモンスターは誤り無い」ということは成り立つとするとこのぽねぽねLv.22は柔らかくてそれはざらざらする fact5: もし仮にこのぷくぷえLv.40は誤り無くないとすれば「このぽねぽねLv.22は柔らかくてざらざらする」ということは成り立たない fact6: 「ざらざらする」モンスターはいる fact7: このぽねぽねLv.22はざらざらするし塩味する ; $hypothesis$ = このぽねぽねLv.22は柔らかいししかもざらざらする ; $proof$ = 
fact2 -> int1: あるモンスターは誤り無い; int1 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: (Ex): {A}x; int1 & fact4 -> hypothesis; __PROVED__