そのもにもねLv.30は調節し易い
fact1: そのもにもねLv.30は生々しくない fact2: もしもそのもにもねLv.30が生々しくないならそれはつれなくてさらに仕舞い易い fact3: そのもにもねLv.30が仕舞い易いかあるいはそれがすばしっこいかどちらもならばそのもにもねLv.30は調節し易くない
fact1 & fact2 -> int1: そのもにもねLv.30はつれないし加えてそれは仕舞い易い; int1 -> int2: そのもにもねLv.30は仕舞い易い; int2 -> int3: そのもにもねLv.30は仕舞い易いかまたはすばしっこいかまたは両方ともだ; int3 & fact3 -> hypothesis;
fact1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 -> int3: ({B}{a} v {C}{a}); int3 & fact3 -> hypothesis;
$facts$ = fact1: そのもにもねLv.30は生々しくない fact2: もしもそのもにもねLv.30が生々しくないならそれはつれなくてさらに仕舞い易い fact3: そのもにもねLv.30が仕舞い易いかあるいはそれがすばしっこいかどちらもならばそのもにもねLv.30は調節し易くない ; $hypothesis$ = そのもにもねLv.30は調節し易い ; $proof$ = 
fact1 & fact2 -> int1: そのもにもねLv.30はつれないし加えてそれは仕舞い易い; int1 -> int2: そのもにもねLv.30は仕舞い易い; int2 -> int3: そのもにもねLv.30は仕舞い易いかまたはすばしっこいかまたは両方ともだ; int3 & fact3 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 -> int2: {B}{a}; int2 -> int3: ({B}{a} v {C}{a}); int3 & fact3 -> hypothesis; __DISPROVED__