そのみよみにょLv.74は順応し易いということはない
fact1: もしもそのみよみにょLv.74が油っぽいとすればそのみよみにょLv.74は利用し易い fact2: そのみよみにょLv.74は尊敬するしまたつべたい fact3: もしそのみよみにょLv.74がつべたいとすれば停電する fact4: 「もしも「そのみよみにょLv.74は切り離し難いかそれは油っぽいかあるいは両方ともである」ということは事実ならそのみよみにょLv.74は順応し易くない」ということは事実である fact5: もしそのみよみにょLv.74は尊敬するとすると「そのみよみにょLv.74は全微分する」ということは事実だ
fact2 -> int1: 「そのみよみにょLv.74は尊敬する」ということは成り立つ; int1 & fact5 -> int2: そのみよみにょLv.74は全微分する;
fact2 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{a};
$facts$ = fact1: もしもそのみよみにょLv.74が油っぽいとすればそのみよみにょLv.74は利用し易い fact2: そのみよみにょLv.74は尊敬するしまたつべたい fact3: もしそのみよみにょLv.74がつべたいとすれば停電する fact4: 「もしも「そのみよみにょLv.74は切り離し難いかそれは油っぽいかあるいは両方ともである」ということは事実ならそのみよみにょLv.74は順応し易くない」ということは事実である fact5: もしそのみよみにょLv.74は尊敬するとすると「そのみよみにょLv.74は全微分する」ということは事実だ ; $hypothesis$ = そのみよみにょLv.74は順応し易いということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__