このまのまなLv.37は話する
fact1: 仮に「このまなまちょLv.44は詳しいし蒸留する」ということは誤りであるならこのまのまなLv.37は話しない fact2: それが詳しいしその上それは蒸留するというモンスターはない
fact2 -> int1: 「このまなまちょLv.44は詳しいし蒸留する」ということは偽だ; int1 & fact1 -> hypothesis;
fact2 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 & fact1 -> hypothesis;
$facts$ = fact1: 仮に「このまなまちょLv.44は詳しいし蒸留する」ということは誤りであるならこのまのまなLv.37は話しない fact2: それが詳しいしその上それは蒸留するというモンスターはない ; $hypothesis$ = このまのまなLv.37は話する ; $proof$ = 
fact2 -> int1: 「このまなまちょLv.44は詳しいし蒸留する」ということは偽だ; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬({AA}{aa} & {AB}{aa}); int1 & fact1 -> hypothesis; __DISPROVED__