そのみよみくLv.75は言わす
fact1: あのみやみちゅLv.13は安い fact2: このみのみにゅLv.16は痛ましい fact3: 「あのみやみちゅLv.13は安い」ということは正しいとすればあのもにゅもにゅLv.15は甘ったるい fact4: そのぽやぽゆLv.56は小憎らしくてかつ合わせ易い fact5: 痛ましくて図り難いモンスターは甘ったるいということはない fact6: 甘ったるくないモンスターは言わすし安い fact7: もし「あのもにゅもにゅLv.15は甘ったるい」ということは事実だとしたらこのみのみにゅLv.16は図り難い fact8: もしもこのみのみにゅLv.16が痛ましくて加えて図り難いならそのみよみくLv.75は言わさない
fact3 & fact1 -> int1: あのもにゅもにゅLv.15は甘ったるい; int1 & fact7 -> int2: このみのみにゅLv.16は図り難い; int2 & fact2 -> int3: このみのみにゅLv.16は痛ましいし図り難い; int3 & fact8 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{c}; int2 & fact2 -> int3: ({D}{c} & {C}{c}); int3 & fact8 -> hypothesis;
そのみよみくLv.75は言わす
fact9 -> int4: もしもそのみよみくLv.75が甘ったるくないとするとそのみよみくLv.75は言わすしさらにそれは安い; fact10 -> int5: もしもそのみよみくLv.75は痛ましくてまた図り難いとすれば「甘ったるいということはない」ということは確かである;
$facts$ = fact1: あのみやみちゅLv.13は安い fact2: このみのみにゅLv.16は痛ましい fact3: 「あのみやみちゅLv.13は安い」ということは正しいとすればあのもにゅもにゅLv.15は甘ったるい fact4: そのぽやぽゆLv.56は小憎らしくてかつ合わせ易い fact5: 痛ましくて図り難いモンスターは甘ったるいということはない fact6: 甘ったるくないモンスターは言わすし安い fact7: もし「あのもにゅもにゅLv.15は甘ったるい」ということは事実だとしたらこのみのみにゅLv.16は図り難い fact8: もしもこのみのみにゅLv.16が痛ましくて加えて図り難いならそのみよみくLv.75は言わさない ; $hypothesis$ = そのみよみくLv.75は言わす ; $proof$ = 
fact3 & fact1 -> int1: あのもにゅもにゅLv.15は甘ったるい; int1 & fact7 -> int2: このみのみにゅLv.16は図り難い; int2 & fact2 -> int3: このみのみにゅLv.16は痛ましいし図り難い; int3 & fact8 -> hypothesis; __DISPROVED__
fact3 & fact1 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{c}; int2 & fact2 -> int3: ({D}{c} & {C}{c}); int3 & fact8 -> hypothesis; __DISPROVED__