このぽやぽにゅLv.4は懐かしい
fact1: そのまやまにLv.32が面映ゆいかあるいは若しならばこのぽやぽにゅLv.4は懐かしくない fact2: 分かち難くないモンスターは懐かしくて若し fact3: そのまやまにLv.32は若ししそれは分かち難い
fact3 -> int1: 「そのまやまにLv.32は若し」ということは成り立つ; int1 -> int2: そのまやまにLv.32は面映ゆいかあるいはそれは若し; int2 & fact1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 -> int2: ({C}{a} v {A}{a}); int2 & fact1 -> hypothesis;
このぽやぽにゅLv.4は懐かしい
fact4 -> int3: もしこのぽやぽにゅLv.4が分かち難いということはないとしたら懐かしいしかつ若し;
$facts$ = fact1: そのまやまにLv.32が面映ゆいかあるいは若しならばこのぽやぽにゅLv.4は懐かしくない fact2: 分かち難くないモンスターは懐かしくて若し fact3: そのまやまにLv.32は若ししそれは分かち難い ; $hypothesis$ = このぽやぽにゅLv.4は懐かしい ; $proof$ = 
fact3 -> int1: 「そのまやまにLv.32は若し」ということは成り立つ; int1 -> int2: そのまやまにLv.32は面映ゆいかあるいはそれは若し; int2 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 -> int2: ({C}{a} v {A}{a}); int2 & fact1 -> hypothesis; __DISPROVED__