「あのみわみちょLv.56はすっきりする一方でそれは立ちするということはない」ということは正しいということはない
fact1: もし仮になんらかのモンスターが加工し易くないならすっきりするしおまけに立ちしない fact2: もしあのぴちゃぴゆLv.22がされ易くないならあのぴちゃぴゆLv.22は下付するがされ易くない fact3: もしもこのぴにぴにゅLv.38が加工し易いとするとそれは切り替わらないかまたは柔らかくないかまたはどちらもである fact4: このぴにぴにゅLv.38は加工し易い fact5: もしあのもにゃもちゅLv.30はすっきりするとすると「あのみわみちょLv.56はすっきりする一方で立ちしない」ということは成り立たない fact6: もし仮にあのぴちゃぴゆLv.22が下付するがされ易くないならあのもにゃもちゅLv.30はすっきりする fact7: このぴにぴにゅLv.38が切り替わらないとすればあのぴちゃぴゆLv.22はされ易いということはない fact8: 仮にこのぴにぴにゅLv.38が柔らかくないとするとあのぴちゃぴゆLv.22はされ易くない
fact3 & fact4 -> int1: このぴにぴにゅLv.38は切り替わらないかあるいは柔らかいということはない; int1 & fact7 & fact8 -> int2: あのぴちゃぴゆLv.22はされ易くない; int2 & fact2 -> int3: あのぴちゃぴゆLv.22は下付する一方でそれはされ易くない; int3 & fact6 -> int4: あのもにゃもちゅLv.30はすっきりする; int4 & fact5 -> hypothesis;
fact3 & fact4 -> int1: (¬{AA}{a} v ¬{AB}{a}); int1 & fact7 & fact8 -> int2: ¬{B}{b}; int2 & fact2 -> int3: ({C}{b} & ¬{B}{b}); int3 & fact6 -> int4: {D}{c}; int4 & fact5 -> hypothesis;
あのみわみちょLv.56はすっきりするがしかし立ちしない
fact9 -> int5: 仮にあのみわみちょLv.56は加工し易くないとしたらすっきりするがしかし立ちしない;
$facts$ = fact1: もし仮になんらかのモンスターが加工し易くないならすっきりするしおまけに立ちしない fact2: もしあのぴちゃぴゆLv.22がされ易くないならあのぴちゃぴゆLv.22は下付するがされ易くない fact3: もしもこのぴにぴにゅLv.38が加工し易いとするとそれは切り替わらないかまたは柔らかくないかまたはどちらもである fact4: このぴにぴにゅLv.38は加工し易い fact5: もしあのもにゃもちゅLv.30はすっきりするとすると「あのみわみちょLv.56はすっきりする一方で立ちしない」ということは成り立たない fact6: もし仮にあのぴちゃぴゆLv.22が下付するがされ易くないならあのもにゃもちゅLv.30はすっきりする fact7: このぴにぴにゅLv.38が切り替わらないとすればあのぴちゃぴゆLv.22はされ易いということはない fact8: 仮にこのぴにぴにゅLv.38が柔らかくないとするとあのぴちゃぴゆLv.22はされ易くない ; $hypothesis$ = 「あのみわみちょLv.56はすっきりする一方でそれは立ちするということはない」ということは正しいということはない ; $proof$ = 
fact3 & fact4 -> int1: このぴにぴにゅLv.38は切り替わらないかあるいは柔らかいということはない; int1 & fact7 & fact8 -> int2: あのぴちゃぴゆLv.22はされ易くない; int2 & fact2 -> int3: あのぴちゃぴゆLv.22は下付する一方でそれはされ易くない; int3 & fact6 -> int4: あのもにゃもちゅLv.30はすっきりする; int4 & fact5 -> hypothesis; __PROVED__
fact3 & fact4 -> int1: (¬{AA}{a} v ¬{AB}{a}); int1 & fact7 & fact8 -> int2: ¬{B}{b}; int2 & fact2 -> int3: ({C}{b} & ¬{B}{b}); int3 & fact6 -> int4: {D}{c}; int4 & fact5 -> hypothesis; __PROVED__