そのみえみくLv.68は望ましくない
fact1: あのぽゆぽなLv.84は甘ったるい fact2: もしも「あのぽゆぽなLv.84はし難い」ということは確かであるとするとこのみやみいLv.12は甘ったるい fact3: あのぽゆぽなLv.84はし難いし発症し易い fact4: このみやみいLv.12は望ましい fact5: もし仮にそのみえみくLv.68が発症し易いならあのぽゆぽなLv.84は望ましい fact6: 仮にこのみやみいLv.12が甘ったるいならばそのみえみくLv.68は望ましい
fact3 -> int1: あのぽゆぽなLv.84はし難い; int1 & fact2 -> int2: このみやみいLv.12は甘ったるい; int2 & fact6 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact6 -> hypothesis;
$facts$ = fact1: あのぽゆぽなLv.84は甘ったるい fact2: もしも「あのぽゆぽなLv.84はし難い」ということは確かであるとするとこのみやみいLv.12は甘ったるい fact3: あのぽゆぽなLv.84はし難いし発症し易い fact4: このみやみいLv.12は望ましい fact5: もし仮にそのみえみくLv.68が発症し易いならあのぽゆぽなLv.84は望ましい fact6: 仮にこのみやみいLv.12が甘ったるいならばそのみえみくLv.68は望ましい ; $hypothesis$ = そのみえみくLv.68は望ましくない ; $proof$ = 
fact3 -> int1: あのぽゆぽなLv.84はし難い; int1 & fact2 -> int2: このみやみいLv.12は甘ったるい; int2 & fact6 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact6 -> hypothesis; __DISPROVED__