あのぴにゅぴえLv.81は油っぽい
fact1: あのぴにゅぴえLv.81は生まれ難い fact2: あのぴにゅぴえLv.81は野暮ったい fact3: 「なにがしかのモンスターは吹き上がらない」ということは真実であるなら捕らえ易いということはないしそれは野暮ったくない fact4: もし仮にあのぴにゅぴえLv.81が生まれ難いならあのぴにゅぴえLv.81は捕らえ易い fact5: もしもあのぴにゅぴえLv.81が弛緩するとするとあのもちゃもゆLv.93は弛緩する fact6: もしあのもちゃもゆLv.93が油っぽいかまたは吹き上がるかあるいはどちらもであるならば捕らえ易くない fact7: あのぴにゅぴえLv.81は捕らえ易いしその上野暮ったいなら「油っぽくない」ということは成り立つ fact8: あのもちゃもゆLv.93は吹き上がる
fact4 & fact1 -> int1: あのぴにゅぴえLv.81は捕らえ易い; int1 & fact2 -> int2: あのぴにゅぴえLv.81は捕らえ易くてさらに野暮ったい; int2 & fact7 -> hypothesis;
fact4 & fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact7 -> hypothesis;
あのぴにゅぴえLv.81は油っぽい
fact9 -> int3: もしあのぴにゅぴえLv.81が吹き上がらないとしたら捕らえ易いということはないしかつ野暮ったくない;
$facts$ = fact1: あのぴにゅぴえLv.81は生まれ難い fact2: あのぴにゅぴえLv.81は野暮ったい fact3: 「なにがしかのモンスターは吹き上がらない」ということは真実であるなら捕らえ易いということはないしそれは野暮ったくない fact4: もし仮にあのぴにゅぴえLv.81が生まれ難いならあのぴにゅぴえLv.81は捕らえ易い fact5: もしもあのぴにゅぴえLv.81が弛緩するとするとあのもちゃもゆLv.93は弛緩する fact6: もしあのもちゃもゆLv.93が油っぽいかまたは吹き上がるかあるいはどちらもであるならば捕らえ易くない fact7: あのぴにゅぴえLv.81は捕らえ易いしその上野暮ったいなら「油っぽくない」ということは成り立つ fact8: あのもちゃもゆLv.93は吹き上がる ; $hypothesis$ = あのぴにゅぴえLv.81は油っぽい ; $proof$ = 
fact4 & fact1 -> int1: あのぴにゅぴえLv.81は捕らえ易い; int1 & fact2 -> int2: あのぴにゅぴえLv.81は捕らえ易くてさらに野暮ったい; int2 & fact7 -> hypothesis; __DISPROVED__
fact4 & fact1 -> int1: {B}{a}; int1 & fact2 -> int2: ({B}{a} & {C}{a}); int2 & fact7 -> hypothesis; __DISPROVED__