そのみにゃみにゅLv.20は凄まじくない
fact1: もし仮に「このぽやぽにょLv.4は冷やかさない」ということは本当であるなら「そのみにゃみにゅLv.20は凄まじい」ということは事実だ fact2: 野暮ったいモンスターは冷やかさない fact3: そのみにゃみにゅLv.20は野暮ったくない fact4: あのみのみちゃLv.20が凄まじいとすればそのみにゃみにゅLv.20は凄まじくない fact5: このぽやぽにょLv.4は野暮ったい
fact2 -> int1: もし仮にこのぽやぽにょLv.4が野暮ったいならこのぽやぽにょLv.4は冷やかさない; int1 & fact5 -> int2: このぽやぽにょLv.4は冷やかさない; int2 & fact1 -> hypothesis;
fact2 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact5 -> int2: ¬{C}{aa}; int2 & fact1 -> hypothesis;
そのみにゃみにゅLv.20は凄まじくない
$facts$ = fact1: もし仮に「このぽやぽにょLv.4は冷やかさない」ということは本当であるなら「そのみにゃみにゅLv.20は凄まじい」ということは事実だ fact2: 野暮ったいモンスターは冷やかさない fact3: そのみにゃみにゅLv.20は野暮ったくない fact4: あのみのみちゃLv.20が凄まじいとすればそのみにゃみにゅLv.20は凄まじくない fact5: このぽやぽにょLv.4は野暮ったい ; $hypothesis$ = そのみにゃみにゅLv.20は凄まじくない ; $proof$ = 
fact2 -> int1: もし仮にこのぽやぽにょLv.4が野暮ったいならこのぽやぽにょLv.4は冷やかさない; int1 & fact5 -> int2: このぽやぽにょLv.4は冷やかさない; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{aa} -> ¬{C}{aa}; int1 & fact5 -> int2: ¬{C}{aa}; int2 & fact1 -> hypothesis; __DISPROVED__