「あのもちゃもゆLv.64は暗いか恵み深い」ということは成り立たない
fact1: あのもちゃもゆLv.64は貧しい fact2: もし仮にあのもちゃもゆLv.64は貧しいならば「それは恵み深い」ということは成り立つ
fact2 & fact1 -> int1: あのもちゃもゆLv.64は恵み深い; int1 -> hypothesis;
fact2 & fact1 -> int1: {B}{a}; int1 -> hypothesis;
$facts$ = fact1: あのもちゃもゆLv.64は貧しい fact2: もし仮にあのもちゃもゆLv.64は貧しいならば「それは恵み深い」ということは成り立つ ; $hypothesis$ = 「あのもちゃもゆLv.64は暗いか恵み深い」ということは成り立たない ; $proof$ = 
fact2 & fact1 -> int1: あのもちゃもゆLv.64は恵み深い; int1 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: {B}{a}; int1 -> hypothesis; __DISPROVED__