あのまわまやLv.50は仕掛ける
fact1: あのぽゆぽくLv.30は大差無いということはないか軍人らしいか両方ともだ fact2: 仮にあのまわまやLv.50は親しみ易くないとしたら「「あのぽゆぽくLv.30は大差無くないかあるいはそれは軍人らしいかまたは両方である」ということは成り立つ」ということは誤っている
void -> assump1: 以下のように仮定する。あのまわまやLv.50は親しみ易くない; fact2 & assump1 -> int1: 「あのぽゆぽくLv.30は大差無くないか軍人らしいかどちらもである」ということは偽である; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのまわまやLv.50は親しみ易い;
void -> assump1: ¬{A}{a}; fact2 & assump1 -> int1: ¬(¬{AA}{b} v {AB}{b}); int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: {A}{a};
$facts$ = fact1: あのぽゆぽくLv.30は大差無いということはないか軍人らしいか両方ともだ fact2: 仮にあのまわまやLv.50は親しみ易くないとしたら「「あのぽゆぽくLv.30は大差無くないかあるいはそれは軍人らしいかまたは両方である」ということは成り立つ」ということは誤っている ; $hypothesis$ = あのまわまやLv.50は仕掛ける ; $proof$ = 
__UNKNOWN__
__UNKNOWN__