「そのぴなぴにLv.43は分かり易くなくて反応し易くない」ということは本当でない
fact1: 「そのぴなぴにLv.43は分かり易くない一方でそれは反応し易い」ということは間違っている fact2: もし仮にそのぴなぴにLv.43が警戒しないならそのぴなぴにLv.43は分かり易くないし反応し易くない fact3: 「そのぴなぴにLv.43は分かり易いけど反応し易くない」ということは間違っている fact4: もしもそのもわもちょLv.51は警戒しないなら「あのもちょもいLv.39は口さがないしさらに分かり易い」ということは真実だ
void -> assump1: 以下のように仮定する。そのぴなぴにLv.43は分かり易くないしさらに反応し易くない; assump1 -> int1: そのぴなぴにLv.43は反応し易くない;
void -> assump1: (¬{A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a};
「「そのぴなぴにLv.43は反応し易くないし口さがなくない」ということは成り立つ」ということは事実と異なる
$facts$ = fact1: 「そのぴなぴにLv.43は分かり易くない一方でそれは反応し易い」ということは間違っている fact2: もし仮にそのぴなぴにLv.43が警戒しないならそのぴなぴにLv.43は分かり易くないし反応し易くない fact3: 「そのぴなぴにLv.43は分かり易いけど反応し易くない」ということは間違っている fact4: もしもそのもわもちょLv.51は警戒しないなら「あのもちょもいLv.39は口さがないしさらに分かり易い」ということは真実だ ; $hypothesis$ = 「そのぴなぴにLv.43は分かり易くなくて反応し易くない」ということは本当でない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__