このぴねぴにゅLv.2は最もらしくない
fact1: もし仮にこのぴねぴにゅLv.2がえげつないとすればそれは最もらしい fact2: もしもあるモンスターが赤くない一方でえげつないならこのぴねぴにゅLv.2は最もらしいということはない fact3: そのぽちゃぽにょLv.18は営み得るということはないけど赤い fact4: もしなにがしかのモンスターが営み得るということはないけれど赤いとするとこのもちょもちゃLv.86は透き通らない fact5: もしこのもちょもちゃLv.86が透き通らないとしたらこのぴねぴにゅLv.2はえげつない fact6: もしもこのぴねぴにゅLv.2が営み得るとすればこのもちょもちゃLv.86は垢抜けしないけれどしんどい
fact3 -> int1: 「営み得ないが赤い」モンスターはいる; int1 & fact4 -> int2: このもちょもちゃLv.86は透き通らない; int2 & fact5 -> int3: このぴねぴにゅLv.2はえげつない; int3 & fact1 -> hypothesis;
fact3 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact5 -> int3: {D}{b}; int3 & fact1 -> hypothesis;
「垢抜けしないしかつしんどい」モンスターはいる
$facts$ = fact1: もし仮にこのぴねぴにゅLv.2がえげつないとすればそれは最もらしい fact2: もしもあるモンスターが赤くない一方でえげつないならこのぴねぴにゅLv.2は最もらしいということはない fact3: そのぽちゃぽにょLv.18は営み得るということはないけど赤い fact4: もしなにがしかのモンスターが営み得るということはないけれど赤いとするとこのもちょもちゃLv.86は透き通らない fact5: もしこのもちょもちゃLv.86が透き通らないとしたらこのぴねぴにゅLv.2はえげつない fact6: もしもこのぴねぴにゅLv.2が営み得るとすればこのもちょもちゃLv.86は垢抜けしないけれどしんどい ; $hypothesis$ = このぴねぴにゅLv.2は最もらしくない ; $proof$ = 
fact3 -> int1: 「営み得ないが赤い」モンスターはいる; int1 & fact4 -> int2: このもちょもちゃLv.86は透き通らない; int2 & fact5 -> int3: このぴねぴにゅLv.2はえげつない; int3 & fact1 -> hypothesis; __DISPROVED__
fact3 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact5 -> int3: {D}{b}; int3 & fact1 -> hypothesis; __DISPROVED__