そのもちゃもちゃLv.28は囁かない
fact1: もしあのものもよLv.97が営めるとするとあのまにまねLv.94は伝え易い fact2: あらゆるモンスターは囁く
fact2 -> int1: あらゆるモンスターは囁く; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
そのもちゃもちゃLv.28は囁かない
$facts$ = fact1: もしあのものもよLv.97が営めるとするとあのまにまねLv.94は伝え易い fact2: あらゆるモンスターは囁く ; $hypothesis$ = そのもちゃもちゃLv.28は囁かない ; $proof$ = 
fact2 -> int1: あらゆるモンスターは囁く; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__