あのまえまなLv.28は緩み易い
fact1: もしあのぽのぽにLv.80が育て易いならあのまえまなLv.28は緩み易くない fact2: もし仮にあのぽのぽにLv.80が育て易いかあるいは力無いか両方であるとするとあのまえまなLv.28は緩み易くない fact3: あのもにもねLv.6は落ち易くてかつそれは切磋琢磨する fact4: 仮にあのもにもねLv.6は落ち易いとしたら「あのもにもねLv.6は空しい」ということは成り立つ
fact3 -> int1: あのもにもねLv.6は落ち易い; int1 & fact4 -> int2: あのもにもねLv.6は空しい;
fact3 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{a};
$facts$ = fact1: もしあのぽのぽにLv.80が育て易いならあのまえまなLv.28は緩み易くない fact2: もし仮にあのぽのぽにLv.80が育て易いかあるいは力無いか両方であるとするとあのまえまなLv.28は緩み易くない fact3: あのもにもねLv.6は落ち易くてかつそれは切磋琢磨する fact4: 仮にあのもにもねLv.6は落ち易いとしたら「あのもにもねLv.6は空しい」ということは成り立つ ; $hypothesis$ = あのまえまなLv.28は緩み易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__