このぽちゃぽちゅLv.92は茶色っぽくない
fact1: もし仮にこのぽちゃぽちゅLv.92が冷め難いとするとあのぷねぷわLv.64は茶色っぽい fact2: もし仮にあのぷねぷわLv.64がぎごちないならばあのみちゅみちゅLv.54は通じ難い fact3: もしあのぷねぷわLv.64が冷め難いならあのみちゅみちゅLv.54はぎごちない fact4: あのみちゅみちゅLv.54は茶色っぽいならば「このぽちゃぽちゅLv.92はぎごちない」ということは本当である fact5: もしあのみちゅみちゅLv.54がぎごちないならばこのぽちゃぽちゅLv.92は茶色っぽい fact6: 「そのぽいぽにゃLv.79は茶色っぽい」ということは成り立つ fact7: あのぷねぷわLv.64は通じ難いしそれは冷め難い
fact7 -> int1: あのぷねぷわLv.64は冷め難い; int1 & fact3 -> int2: あのみちゅみちゅLv.54はぎごちない; int2 & fact5 -> hypothesis;
fact7 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
$facts$ = fact1: もし仮にこのぽちゃぽちゅLv.92が冷め難いとするとあのぷねぷわLv.64は茶色っぽい fact2: もし仮にあのぷねぷわLv.64がぎごちないならばあのみちゅみちゅLv.54は通じ難い fact3: もしあのぷねぷわLv.64が冷め難いならあのみちゅみちゅLv.54はぎごちない fact4: あのみちゅみちゅLv.54は茶色っぽいならば「このぽちゃぽちゅLv.92はぎごちない」ということは本当である fact5: もしあのみちゅみちゅLv.54がぎごちないならばこのぽちゃぽちゅLv.92は茶色っぽい fact6: 「そのぽいぽにゃLv.79は茶色っぽい」ということは成り立つ fact7: あのぷねぷわLv.64は通じ難いしそれは冷め難い ; $hypothesis$ = このぽちゃぽちゅLv.92は茶色っぽくない ; $proof$ = 
fact7 -> int1: あのぷねぷわLv.64は冷め難い; int1 & fact3 -> int2: あのみちゅみちゅLv.54はぎごちない; int2 & fact5 -> hypothesis; __DISPROVED__
fact7 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact5 -> hypothesis; __DISPROVED__