あのまやまなLv.97は受け易い
fact1: 仮にあのみやみにLv.78が心苦しいとするとあのまやまなLv.97は受け易い fact2: もし仮に「あのみやみにLv.78は受け易くない」ということは真実だとしたらあのまやまなLv.97は受け易くない fact3: 「このぴのぴくLv.89はむくつけしし受け易い」ということは誤っているとすればあのみやみにLv.78は受け易くない fact4: 「このぴのぴくLv.89はむくつけしないしまたか細くない」ということは間違いだ fact5: あのみやみにLv.78はむくつけししかつアプローチし易い fact6: もしもあのみやみにLv.78がアプローチし易いならばストレッチ出来なくてそれは誇りっぽい fact7: あのみやみにLv.78がストレッチ出来ないが誇りっぽいならばあのみやみにLv.78は安い
fact5 -> int1: あのみやみにLv.78はアプローチし易い; int1 & fact6 -> int2: あのみやみにLv.78はストレッチ出来ない一方で誇りっぽい; int2 & fact7 -> int3: あのみやみにLv.78は安い;
fact5 -> int1: {B}{a}; int1 & fact6 -> int2: (¬{C}{a} & {D}{a}); int2 & fact7 -> int3: {E}{a};
あのまやまなLv.97は受け易いということはない
$facts$ = fact1: 仮にあのみやみにLv.78が心苦しいとするとあのまやまなLv.97は受け易い fact2: もし仮に「あのみやみにLv.78は受け易くない」ということは真実だとしたらあのまやまなLv.97は受け易くない fact3: 「このぴのぴくLv.89はむくつけしし受け易い」ということは誤っているとすればあのみやみにLv.78は受け易くない fact4: 「このぴのぴくLv.89はむくつけしないしまたか細くない」ということは間違いだ fact5: あのみやみにLv.78はむくつけししかつアプローチし易い fact6: もしもあのみやみにLv.78がアプローチし易いならばストレッチ出来なくてそれは誇りっぽい fact7: あのみやみにLv.78がストレッチ出来ないが誇りっぽいならばあのみやみにLv.78は安い ; $hypothesis$ = あのまやまなLv.97は受け易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__