「あのみちゅみちゅLv.35は死さないけど黒い」ということは成り立たない
fact1: あのみちゅみちゅLv.35は脱ぎ捨てるし面目無い fact2: 仮にあのみちゅみちゅLv.35は脱ぎ捨てるとしたら「死さないしかつそれは黒い」ということは成り立たない
fact1 -> int1: あのみちゅみちゅLv.35は脱ぎ捨てる; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: あのみちゅみちゅLv.35は脱ぎ捨てるし面目無い fact2: 仮にあのみちゅみちゅLv.35は脱ぎ捨てるとしたら「死さないしかつそれは黒い」ということは成り立たない ; $hypothesis$ = 「あのみちゅみちゅLv.35は死さないけど黒い」ということは成り立たない ; $proof$ = 
fact1 -> int1: あのみちゅみちゅLv.35は脱ぎ捨てる; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__