そのぽちょぽよLv.10は見え辛くない
fact1: このぽえぽのLv.1は形成され易くないけど有機化する fact2: そのぽちょぽよLv.10は面白おかしくないけれど其れっぽい fact3: そのぽちょぽよLv.10は苛々し易いか告訴する fact4: そのぽちょぽよLv.10は持ち難いかあるいは掴み難いか両方ともだ fact5: 仮にそのぽちょぽよLv.10が其れっぽいかもしくは形成され易いかまたはどちらもであるとするとそのぽちょぽよLv.10は見え辛くない fact6: もしもあのみゆみにLv.15が勘違いし易いかまたはそれが面白おかしいならばそれは麗しいということはない
fact2 -> int1: そのぽちょぽよLv.10は其れっぽい; int1 -> int2: そのぽちょぽよLv.10は其れっぽいかまたはそれは形成され易い; int2 & fact5 -> hypothesis;
fact2 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact5 -> hypothesis;
$facts$ = fact1: このぽえぽのLv.1は形成され易くないけど有機化する fact2: そのぽちょぽよLv.10は面白おかしくないけれど其れっぽい fact3: そのぽちょぽよLv.10は苛々し易いか告訴する fact4: そのぽちょぽよLv.10は持ち難いかあるいは掴み難いか両方ともだ fact5: 仮にそのぽちょぽよLv.10が其れっぽいかもしくは形成され易いかまたはどちらもであるとするとそのぽちょぽよLv.10は見え辛くない fact6: もしもあのみゆみにLv.15が勘違いし易いかまたはそれが面白おかしいならばそれは麗しいということはない ; $hypothesis$ = そのぽちょぽよLv.10は見え辛くない ; $proof$ = 
fact2 -> int1: そのぽちょぽよLv.10は其れっぽい; int1 -> int2: そのぽちょぽよLv.10は其れっぽいかまたはそれは形成され易い; int2 & fact5 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact5 -> hypothesis; __PROVED__