「あのぽゆぽちゃLv.5は止み難くてアプローチし易い」ということは事実と異なる
fact1: 「そのまなまにょLv.50は止み難くない」ということは成り立つ fact2: そのまなまにょLv.50はアプローチし易いかもしくはそれは油っぽいということはない fact3: あのぽゆぽちゃLv.5は止み難い fact4: あのぽゆぽちゃLv.5は継続し難い fact5: そのまなまにょLv.50は若しない fact6: そのまなまにょLv.50が若しということはないならばそのまなまにょLv.50は深しかまたは継続し難くないか両方だ fact7: そのまなまにょLv.50が深しとするとあのぽゆぽちゃLv.5はアプローチし易い
fact6 & fact5 -> int1: そのまなまにょLv.50は深しかまたは継続し難くない;
fact6 & fact5 -> int1: ({AA}{a} v ¬{AB}{a});
$facts$ = fact1: 「そのまなまにょLv.50は止み難くない」ということは成り立つ fact2: そのまなまにょLv.50はアプローチし易いかもしくはそれは油っぽいということはない fact3: あのぽゆぽちゃLv.5は止み難い fact4: あのぽゆぽちゃLv.5は継続し難い fact5: そのまなまにょLv.50は若しない fact6: そのまなまにょLv.50が若しということはないならばそのまなまにょLv.50は深しかまたは継続し難くないか両方だ fact7: そのまなまにょLv.50が深しとするとあのぽゆぽちゃLv.5はアプローチし易い ; $hypothesis$ = 「あのぽゆぽちゃLv.5は止み難くてアプローチし易い」ということは事実と異なる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__