このみにゃみにょLv.98は活用する
fact1: もしもこのみにゃみにょLv.98が広がり易くないとするとこのみにゃみにょLv.98は意地悪いしその上考え易い fact2: 「このみにゃみにょLv.98は起こし易い」ということは成り立つ fact3: このみにゃみにょLv.98は実行し易いしおまけに起こし易い fact4: もしも「あのぴいぴちゃLv.95は起こし易いということはないけどそれは活用する」ということは誤っているならこのみにゃみにょLv.98は活用しない fact5: 起こし易くないモンスターは活用するしその上実行し易い fact6: このもねもよLv.49は実行し易いということはないとしたら「あのぴいぴちゃLv.95は起こし易いということはないがしかし活用する」ということは確かでない fact7: このみにゃみにょLv.98が実行し易いならば考え易い fact8: もしこのみにゃみにょLv.98が考え易いとしたらこのみにゃみにょLv.98は活用する
fact3 -> int1: このみにゃみにょLv.98は実行し易い; int1 & fact7 -> int2: このみにゃみにょLv.98は考え易い; int2 & fact8 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact8 -> hypothesis;
このみにゃみにょLv.98は活用しない
$facts$ = fact1: もしもこのみにゃみにょLv.98が広がり易くないとするとこのみにゃみにょLv.98は意地悪いしその上考え易い fact2: 「このみにゃみにょLv.98は起こし易い」ということは成り立つ fact3: このみにゃみにょLv.98は実行し易いしおまけに起こし易い fact4: もしも「あのぴいぴちゃLv.95は起こし易いということはないけどそれは活用する」ということは誤っているならこのみにゃみにょLv.98は活用しない fact5: 起こし易くないモンスターは活用するしその上実行し易い fact6: このもねもよLv.49は実行し易いということはないとしたら「あのぴいぴちゃLv.95は起こし易いということはないがしかし活用する」ということは確かでない fact7: このみにゃみにょLv.98が実行し易いならば考え易い fact8: もしこのみにゃみにょLv.98が考え易いとしたらこのみにゃみにょLv.98は活用する ; $hypothesis$ = このみにゃみにょLv.98は活用する ; $proof$ = 
fact3 -> int1: このみにゃみにょLv.98は実行し易い; int1 & fact7 -> int2: このみにゃみにょLv.98は考え易い; int2 & fact8 -> hypothesis; __PROVED__
fact3 -> int1: {A}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact8 -> hypothesis; __PROVED__