そのぽやぽのLv.90は運転し易くない
fact1: もし仮に何らかのモンスターが事らしくないならばそれは運転し易い fact2: もしもこのみよみいLv.36が使い辛いしまたそれが食い下がるとしたらそのぽやぽのLv.90は運転し易くない fact3: そのぽやぽのLv.90は使い辛いとしたら「このみよみいLv.36は運転し易い」ということは確かだ fact4: そのみやみにLv.31は事らしい fact5: 仮にこのみよみいLv.36が考え深いがそれが有り難くないとしたらそれは恥ずかし fact6: もし「何らかのモンスターは使い辛いが食い下がらない」ということは誤っているとすれば事らしくない fact7: もしこのみよみいLv.36が恥ずかしとするとこのみよみいLv.36は分類出来るかもしくは使い辛くないかまたは両方ともである fact8: 「このみよみいLv.36は食い下がる」ということは本当である fact9: もしそのみやみにLv.31が事らしいとするとこのみよみいLv.36は使い辛い
fact9 & fact4 -> int1: このみよみいLv.36は使い辛い; int1 & fact8 -> int2: このみよみいLv.36は使い辛くて加えて食い下がる; int2 & fact2 -> hypothesis;
fact9 & fact4 -> int1: {B}{b}; int1 & fact8 -> int2: ({B}{b} & {C}{b}); int2 & fact2 -> hypothesis;
そのぽやぽのLv.90は運転し易い
fact10 -> int3: もしもそのぽやぽのLv.90が事らしくないならばそのぽやぽのLv.90は運転し易い; fact11 -> int4: 仮に「そのぽやぽのLv.90は使い辛いが食い下がるということはない」ということは成り立たないならそのぽやぽのLv.90は事らしくない;
$facts$ = fact1: もし仮に何らかのモンスターが事らしくないならばそれは運転し易い fact2: もしもこのみよみいLv.36が使い辛いしまたそれが食い下がるとしたらそのぽやぽのLv.90は運転し易くない fact3: そのぽやぽのLv.90は使い辛いとしたら「このみよみいLv.36は運転し易い」ということは確かだ fact4: そのみやみにLv.31は事らしい fact5: 仮にこのみよみいLv.36が考え深いがそれが有り難くないとしたらそれは恥ずかし fact6: もし「何らかのモンスターは使い辛いが食い下がらない」ということは誤っているとすれば事らしくない fact7: もしこのみよみいLv.36が恥ずかしとするとこのみよみいLv.36は分類出来るかもしくは使い辛くないかまたは両方ともである fact8: 「このみよみいLv.36は食い下がる」ということは本当である fact9: もしそのみやみにLv.31が事らしいとするとこのみよみいLv.36は使い辛い ; $hypothesis$ = そのぽやぽのLv.90は運転し易くない ; $proof$ = 
fact9 & fact4 -> int1: このみよみいLv.36は使い辛い; int1 & fact8 -> int2: このみよみいLv.36は使い辛くて加えて食い下がる; int2 & fact2 -> hypothesis; __PROVED__
fact9 & fact4 -> int1: {B}{b}; int1 & fact8 -> int2: ({B}{b} & {C}{b}); int2 & fact2 -> hypothesis; __PROVED__