あのみくみちゅLv.38は伴い易くない
fact1: あらゆるモンスターは温かい fact2: すべてのモンスターは貴方らしい fact3: もし仮にあるモンスターは艶めかしいならば「伴い易い」ということは成り立つ fact4: 全てのモンスターは伴い易い
fact4 -> int1: 全てのモンスターは伴い易い; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
そのみにみにょLv.50は伴い易い
fact5 -> int2: もしもそのみにみにょLv.50は艶めかしいなら「それは伴い易い」ということは成り立つ;
$facts$ = fact1: あらゆるモンスターは温かい fact2: すべてのモンスターは貴方らしい fact3: もし仮にあるモンスターは艶めかしいならば「伴い易い」ということは成り立つ fact4: 全てのモンスターは伴い易い ; $hypothesis$ = あのみくみちゅLv.38は伴い易くない ; $proof$ = 
fact4 -> int1: 全てのモンスターは伴い易い; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__