あのぷいぷいLv.87は着目すらない
fact1: もしあのぷいぷいLv.87が書き難いかそれが着目すかまたは両方ともだとすればあのぷいぷいLv.87は呈し始めない fact2: 仮にあのぷいぷいLv.87は書き難いなら「あのぷいぷいLv.87は呈し始めない」ということは成り立つ
void -> assump1: 以下のように仮定する。あのぷいぷいLv.87は着目す; assump1 -> int1: あのぷいぷいLv.87は書き難いかまたは着目す; int1 & fact1 -> int2: あのぷいぷいLv.87は呈し始めるということはない;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{a};
$facts$ = fact1: もしあのぷいぷいLv.87が書き難いかそれが着目すかまたは両方ともだとすればあのぷいぷいLv.87は呈し始めない fact2: 仮にあのぷいぷいLv.87は書き難いなら「あのぷいぷいLv.87は呈し始めない」ということは成り立つ ; $hypothesis$ = あのぷいぷいLv.87は着目すらない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__