そのぽにょぽやLv.6は手厚くない
fact1: あのみよみよLv.13は疑い深い fact2: 「あのみよみよLv.13は動き始めるかもしくはそれは苦いかもしくは両方だ」ということは成り立てばそのぽにょぽやLv.6は手厚くない fact3: あのみいみえLv.97は上昇し易いかあるいはそれは疑い深い fact4: もし仮にそのぽにょぽやLv.6が苦いならあのみよみよLv.13は手厚くない fact5: あのみよみよLv.13が疑い深いとするとあのみよみよLv.13は動き始める fact6: 仮にあのみよみよLv.13が手厚いかあるいはそれが疑い深いかもしくは両方ともであるならそのぽにょぽやLv.6は苦くない
fact5 & fact1 -> int1: あのみよみよLv.13は動き始める; int1 -> int2: あのみよみよLv.13は動き始めるかあるいは苦いかまたは両方ともである; int2 & fact2 -> hypothesis;
fact5 & fact1 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact2 -> hypothesis;
$facts$ = fact1: あのみよみよLv.13は疑い深い fact2: 「あのみよみよLv.13は動き始めるかもしくはそれは苦いかもしくは両方だ」ということは成り立てばそのぽにょぽやLv.6は手厚くない fact3: あのみいみえLv.97は上昇し易いかあるいはそれは疑い深い fact4: もし仮にそのぽにょぽやLv.6が苦いならあのみよみよLv.13は手厚くない fact5: あのみよみよLv.13が疑い深いとするとあのみよみよLv.13は動き始める fact6: 仮にあのみよみよLv.13が手厚いかあるいはそれが疑い深いかもしくは両方ともであるならそのぽにょぽやLv.6は苦くない ; $hypothesis$ = そのぽにょぽやLv.6は手厚くない ; $proof$ = 
fact5 & fact1 -> int1: あのみよみよLv.13は動き始める; int1 -> int2: あのみよみよLv.13は動き始めるかあるいは苦いかまたは両方ともである; int2 & fact2 -> hypothesis; __PROVED__
fact5 & fact1 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact2 -> hypothesis; __PROVED__