このまねまいLv.25は飲み易くない
fact1: このぽやぽよLv.8は管理し易くて手厳しい fact2: もしも「このぽやぽよLv.8は管理し易い」ということは成り立つならそのぷゆぷにょLv.22はブラックボックス化する fact3: もし仮にこのぽやぽよLv.8はブラックボックス化するけど手厳しいということはないならばそれは飲み易くない fact4: もしそのぷゆぷにょLv.22がブラックボックス化するとすればこのまねまいLv.25は飲み易い fact5: このぽやぽよLv.8は手厳しい fact6: もしもそのぷゆぷにょLv.22が手厳しいならこのぽやぽよLv.8はブラックボックス化する
fact1 -> int1: このぽやぽよLv.8は管理し易い; int1 & fact2 -> int2: そのぷゆぷにょLv.22はブラックボックス化する; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
このまねまいLv.25は飲み易くない
$facts$ = fact1: このぽやぽよLv.8は管理し易くて手厳しい fact2: もしも「このぽやぽよLv.8は管理し易い」ということは成り立つならそのぷゆぷにょLv.22はブラックボックス化する fact3: もし仮にこのぽやぽよLv.8はブラックボックス化するけど手厳しいということはないならばそれは飲み易くない fact4: もしそのぷゆぷにょLv.22がブラックボックス化するとすればこのまねまいLv.25は飲み易い fact5: このぽやぽよLv.8は手厳しい fact6: もしもそのぷゆぷにょLv.22が手厳しいならこのぽやぽよLv.8はブラックボックス化する ; $hypothesis$ = このまねまいLv.25は飲み易くない ; $proof$ = 
fact1 -> int1: このぽやぽよLv.8は管理し易い; int1 & fact2 -> int2: そのぷゆぷにょLv.22はブラックボックス化する; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact4 -> hypothesis; __DISPROVED__