あのぴいぴのLv.33は入り辛いしそれにか細い
fact1: このぽねぽちゃLv.23はか細くない fact2: もしもこのぽねぽちゃLv.23はうら若くてかつ昇降するならこのまにまいLv.30はか細くない fact3: このまにまいLv.30はか細くないとすれば「あのぴいぴのLv.33は入り辛いししかもか細い」ということは間違っている fact4: 「このぽねぽちゃLv.23はうら若い」ということは本当だ fact5: このぽねぽちゃLv.23は昇降する
fact4 & fact5 -> int1: このぽねぽちゃLv.23はうら若くて昇降する; int1 & fact2 -> int2: このまにまいLv.30はか細くない; int2 & fact3 -> hypothesis;
fact4 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: このぽねぽちゃLv.23はか細くない fact2: もしもこのぽねぽちゃLv.23はうら若くてかつ昇降するならこのまにまいLv.30はか細くない fact3: このまにまいLv.30はか細くないとすれば「あのぴいぴのLv.33は入り辛いししかもか細い」ということは間違っている fact4: 「このぽねぽちゃLv.23はうら若い」ということは本当だ fact5: このぽねぽちゃLv.23は昇降する ; $hypothesis$ = あのぴいぴのLv.33は入り辛いしそれにか細い ; $proof$ = 
fact4 & fact5 -> int1: このぽねぽちゃLv.23はうら若くて昇降する; int1 & fact2 -> int2: このまにまいLv.30はか細くない; int2 & fact3 -> hypothesis; __DISPROVED__
fact4 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__