あのぽよぽちゃLv.80はめでたくない
fact1: もし仮に「あのぷやぷわLv.78はいがらっぽい」ということは真実だとすればそのぽねぽにゃLv.27は悪しい fact2: もしそのぽねぽにゃLv.27が悪しいとすればそのぽねぽにゃLv.27は渋い fact3: 薬臭いモンスターは悪しい fact4: あのぷやぷわLv.78はいがらっぽい fact5: もしもそのぽねぽにゃLv.27が渋いならあのぽよぽちゃLv.80はめでたい
fact1 & fact4 -> int1: そのぽねぽにゃLv.27は悪しい; int1 & fact2 -> int2: そのぽねぽにゃLv.27は渋い; int2 & fact5 -> hypothesis;
fact1 & fact4 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
もし仮に「あのぷやぷわLv.78は薬臭い」ということは本当だとすれば悪しい
fact6 -> hypothesis;
$facts$ = fact1: もし仮に「あのぷやぷわLv.78はいがらっぽい」ということは真実だとすればそのぽねぽにゃLv.27は悪しい fact2: もしそのぽねぽにゃLv.27が悪しいとすればそのぽねぽにゃLv.27は渋い fact3: 薬臭いモンスターは悪しい fact4: あのぷやぷわLv.78はいがらっぽい fact5: もしもそのぽねぽにゃLv.27が渋いならあのぽよぽちゃLv.80はめでたい ; $hypothesis$ = あのぽよぽちゃLv.80はめでたくない ; $proof$ = 
fact1 & fact4 -> int1: そのぽねぽにゃLv.27は悪しい; int1 & fact2 -> int2: そのぽねぽにゃLv.27は渋い; int2 & fact5 -> hypothesis; __DISPROVED__
fact1 & fact4 -> int1: {B}{b}; int1 & fact2 -> int2: {C}{b}; int2 & fact5 -> hypothesis; __DISPROVED__