以下のように仮定する。「あのぴえぴなLv.11は細かい」ということは成り立つ
fact1: あのぴえぴなLv.11は細かいかあるいはそれは其れっぽい fact2: あのぴえぴなLv.11が結び合わせるならあのぴえぴなLv.11は通り易くない fact3: あのぴえぴなLv.11が細かいかもしくは結び合わせるとするとそれは通り易くない fact4: もしあのぴえぴなLv.11が通り易くないがしかし結び合わせるなら「このぷえぷのLv.74は通り易くない」ということは本当だ fact5: もしもそのぴくぴのLv.63が通り易くないならあのぴえぴなLv.11は結び合わせるし細かい fact6: 仮にそのぽくぽゆLv.64はブランドらしくないとしたら「「そのぴくぴのLv.63は通り易いしその上細かい」ということは事実である」ということは誤っている
void -> assump1: 以下のように仮定する。「あのぴえぴなLv.11は細かい」ということは成り立つ; assump1 -> int1: あのぴえぴなLv.11は細かいか結び合わせるか両方ともだ; int1 & fact3 -> int2: あのぴえぴなLv.11は通り易くない;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{a};
以下のように仮定する。「あのぴえぴなLv.11は細かい」ということは成り立つ
$facts$ = fact1: あのぴえぴなLv.11は細かいかあるいはそれは其れっぽい fact2: あのぴえぴなLv.11が結び合わせるならあのぴえぴなLv.11は通り易くない fact3: あのぴえぴなLv.11が細かいかもしくは結び合わせるとするとそれは通り易くない fact4: もしあのぴえぴなLv.11が通り易くないがしかし結び合わせるなら「このぷえぷのLv.74は通り易くない」ということは本当だ fact5: もしもそのぴくぴのLv.63が通り易くないならあのぴえぴなLv.11は結び合わせるし細かい fact6: 仮にそのぽくぽゆLv.64はブランドらしくないとしたら「「そのぴくぴのLv.63は通り易いしその上細かい」ということは事実である」ということは誤っている ; $hypothesis$ = 以下のように仮定する。「あのぴえぴなLv.11は細かい」ということは成り立つ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__