「なんらかのモンスターは抜け易くて日本人らしい」ということは成り立たない
fact1: このぽくぽくLv.67は調律するしおまけにブランドらしい fact2: もしこのぽくぽくLv.67は弱しとすれば「あのぷにゃぷにょLv.37は弱し」ということは正しい fact3: このぽくぽくLv.67は日本人らしい fact4: あるモンスターは弱しし日本人らしい fact5: なんらかのモンスターは抜け易い fact6: 弱しモンスターはこっくりする fact7: このぽくぽくLv.67は弱しし抜け易い
fact7 -> int1: 「このぽくぽくLv.67は抜け易い」ということは確かである; int1 & fact3 -> int2: このぽくぽくLv.67は抜け易くて日本人らしい; int2 -> hypothesis;
fact7 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 -> hypothesis;
あのぷにゃぷにょLv.37はこっくりするししかも白っぽい
fact8 -> int3: もしあのぷにゃぷにょLv.37が弱しならそれはこっくりする;
$facts$ = fact1: このぽくぽくLv.67は調律するしおまけにブランドらしい fact2: もしこのぽくぽくLv.67は弱しとすれば「あのぷにゃぷにょLv.37は弱し」ということは正しい fact3: このぽくぽくLv.67は日本人らしい fact4: あるモンスターは弱しし日本人らしい fact5: なんらかのモンスターは抜け易い fact6: 弱しモンスターはこっくりする fact7: このぽくぽくLv.67は弱しし抜け易い ; $hypothesis$ = 「なんらかのモンスターは抜け易くて日本人らしい」ということは成り立たない ; $proof$ = 
fact7 -> int1: 「このぽくぽくLv.67は抜け易い」ということは確かである; int1 & fact3 -> int2: このぽくぽくLv.67は抜け易くて日本人らしい; int2 -> hypothesis; __DISPROVED__
fact7 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 -> hypothesis; __DISPROVED__