そのまやまくLv.68は白っぽい
fact1: もし仮にそのまやまくLv.68が気安いとすればそのまやまくLv.68は考え難い fact2: 「そのまやまくLv.68は気安い」ということは成り立つ fact3: 「そのまやまくLv.68は扱い易くない」ということは事実でないならば白っぽい fact4: 「もし仮にそのまやまくLv.68が考え難いならばそのまやまくLv.68は扱い易い」ということは偽でない fact5: あのみやみにょLv.24は扱い易い
fact1 & fact2 -> int1: そのまやまくLv.68は考え難い; int1 & fact4 -> int2: そのまやまくLv.68は扱い易い; int2 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact3 -> hypothesis;
$facts$ = fact1: もし仮にそのまやまくLv.68が気安いとすればそのまやまくLv.68は考え難い fact2: 「そのまやまくLv.68は気安い」ということは成り立つ fact3: 「そのまやまくLv.68は扱い易くない」ということは事実でないならば白っぽい fact4: 「もし仮にそのまやまくLv.68が考え難いならばそのまやまくLv.68は扱い易い」ということは偽でない fact5: あのみやみにょLv.24は扱い易い ; $hypothesis$ = そのまやまくLv.68は白っぽい ; $proof$ = 
fact1 & fact2 -> int1: そのまやまくLv.68は考え難い; int1 & fact4 -> int2: そのまやまくLv.68は扱い易い; int2 & fact3 -> hypothesis; __PROVED__
fact1 & fact2 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{a}; int2 & fact3 -> hypothesis; __PROVED__