以下のように仮定する。あのまにゃまえLv.33は燃え広がるけれどそれはか細くない
fact1: あのまにゃまえLv.33が燃え広がるがか細くないならあのまなまにゃLv.38は付け易くない
void -> assump1: 以下のように仮定する。あのまにゃまえLv.33は燃え広がるけれどそれはか細くない; fact1 & assump1 -> int1: あのまなまにゃLv.38は付け易くない;
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: ¬{B}{b};
$facts$ = fact1: あのまにゃまえLv.33が燃え広がるがか細くないならあのまなまにゃLv.38は付け易くない ; $hypothesis$ = 以下のように仮定する。あのまにゃまえLv.33は燃え広がるけれどそれはか細くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__