「このみいみくLv.89はすげないしまた揺すぶる」ということは誤っている
fact1: このみいみくLv.89はすげない fact2: もしもなにがしかのモンスターは腹立たしいとしたら「すげないということはない」ということは成り立つ fact3: もしもそのみなみちょLv.48が揺すぶればそのみなみちょLv.48は御若い fact4: もし仮にそのみなみちょLv.48が御若いならばこのみいみくLv.89は抗し難い fact5: 「そのみなみちょLv.48は抗し難い」ということは正しい fact6: もし仮にこのみいみくLv.89が御若いならばこのみいみくLv.89は揺すぶる fact7: 仮にそのみなみちょLv.48が抗し難いならこのみいみくLv.89は御若い fact8: 仮にそのみなみちょLv.48が揺すぶるとするとこのみいみくLv.89は抗し難い
fact7 & fact5 -> int1: このみいみくLv.89は御若い; int1 & fact6 -> int2: このみいみくLv.89は揺すぶる; int2 & fact1 -> hypothesis;
fact7 & fact5 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; int2 & fact1 -> hypothesis;
このみいみくLv.89は抗し難い
fact10 -> int3: もしそのぽくぽのLv.22が腹立たしいならばすげなくない;
$facts$ = fact1: このみいみくLv.89はすげない fact2: もしもなにがしかのモンスターは腹立たしいとしたら「すげないということはない」ということは成り立つ fact3: もしもそのみなみちょLv.48が揺すぶればそのみなみちょLv.48は御若い fact4: もし仮にそのみなみちょLv.48が御若いならばこのみいみくLv.89は抗し難い fact5: 「そのみなみちょLv.48は抗し難い」ということは正しい fact6: もし仮にこのみいみくLv.89が御若いならばこのみいみくLv.89は揺すぶる fact7: 仮にそのみなみちょLv.48が抗し難いならこのみいみくLv.89は御若い fact8: 仮にそのみなみちょLv.48が揺すぶるとするとこのみいみくLv.89は抗し難い ; $hypothesis$ = 「このみいみくLv.89はすげないしまた揺すぶる」ということは誤っている ; $proof$ = 
fact7 & fact5 -> int1: このみいみくLv.89は御若い; int1 & fact6 -> int2: このみいみくLv.89は揺すぶる; int2 & fact1 -> hypothesis; __DISPROVED__
fact7 & fact5 -> int1: {B}{b}; int1 & fact6 -> int2: {C}{b}; int2 & fact1 -> hypothesis; __DISPROVED__