「あのもよもゆLv.2は親らしい」ということは成り立つ
fact1: もし仮に生まれ易いモンスターが狭苦しいならばあのぽにょぽゆLv.7は餓鬼っぽくない fact2: もしあのぽにょぽゆLv.7が餓鬼っぽいということはないとすればあのもよもゆLv.2は餓鬼っぽくない fact3: そのぽちょぽちゅLv.47は狭苦しい fact4: そのぽちょぽちゅLv.47は生まれ易い fact5: 仮に「「そのぽちょぽちゅLv.47は親らしくないけど狭苦しい」ということは成り立たない」ということは真実ならあのもよもゆLv.2は親らしい fact6: もしもあのぽにょぽゆLv.7が餓鬼っぽくないならあのもよもゆLv.2は餓鬼っぽくないしさらに親らしくない
fact4 & fact3 -> int1: そのぽちょぽちゅLv.47は生まれ易くてそれは狭苦しい; int1 -> int2: なにがしかのモンスターは生まれ易いし狭苦しい; int2 & fact1 -> int3: あのぽにょぽゆLv.7は餓鬼っぽくない; int3 & fact6 -> int4: あのもよもゆLv.2は餓鬼っぽくないし親らしくない; int4 -> hypothesis;
fact4 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact1 -> int3: ¬{C}{b}; int3 & fact6 -> int4: (¬{C}{c} & ¬{E}{c}); int4 -> hypothesis;
「あのもよもゆLv.2は親らしい」ということは成り立つ
$facts$ = fact1: もし仮に生まれ易いモンスターが狭苦しいならばあのぽにょぽゆLv.7は餓鬼っぽくない fact2: もしあのぽにょぽゆLv.7が餓鬼っぽいということはないとすればあのもよもゆLv.2は餓鬼っぽくない fact3: そのぽちょぽちゅLv.47は狭苦しい fact4: そのぽちょぽちゅLv.47は生まれ易い fact5: 仮に「「そのぽちょぽちゅLv.47は親らしくないけど狭苦しい」ということは成り立たない」ということは真実ならあのもよもゆLv.2は親らしい fact6: もしもあのぽにょぽゆLv.7が餓鬼っぽくないならあのもよもゆLv.2は餓鬼っぽくないしさらに親らしくない ; $hypothesis$ = 「あのもよもゆLv.2は親らしい」ということは成り立つ ; $proof$ = 
fact4 & fact3 -> int1: そのぽちょぽちゅLv.47は生まれ易くてそれは狭苦しい; int1 -> int2: なにがしかのモンスターは生まれ易いし狭苦しい; int2 & fact1 -> int3: あのぽにょぽゆLv.7は餓鬼っぽくない; int3 & fact6 -> int4: あのもよもゆLv.2は餓鬼っぽくないし親らしくない; int4 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact1 -> int3: ¬{C}{b}; int3 & fact6 -> int4: (¬{C}{c} & ¬{E}{c}); int4 -> hypothesis; __DISPROVED__