「このまわまなLv.59は借り易いし焦げ臭い」ということは嘘だ
fact1: もし仮にあるモンスターは明るくないとすると「それは借り易いしさらにそれは焦げ臭い」ということは誤りだ fact2: 仮にこのもちゃもちゅLv.97が物寂しいならばそのもにゅもにょLv.24は育て易い fact3: このもちゃもちゅLv.97は明るい fact4: もしもそのもにゅもにょLv.24が詮無いとしたらこのまわまなLv.59は借り易い fact5: 仮にそのもにゅもにょLv.24が育て易いならそれは詮無い fact6: このまわまなLv.59は焦げ臭い fact7: 仮に「このもちゃもちゅLv.97は明るい」ということは間違いでないとするとこのもちゃもちゅLv.97は物寂しい fact8: このもちゃもちゅLv.97は育て易い fact9: もし仮にこのまわまなLv.59が育て易くないとしたらそれは物寂しくなくて明るいということはない
fact7 & fact3 -> int1: 「このもちゃもちゅLv.97は物寂しい」ということは誤っていない; int1 & fact2 -> int2: そのもにゅもにょLv.24は育て易い; int2 & fact5 -> int3: そのもにゅもにょLv.24は詮無い; int3 & fact4 -> int4: このまわまなLv.59は借り易い; int4 & fact6 -> hypothesis;
fact7 & fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact5 -> int3: {D}{b}; int3 & fact4 -> int4: {E}{c}; int4 & fact6 -> hypothesis;
「このまわまなLv.59は借り易いし焦げ臭い」ということは嘘だ
fact11 -> int5: もし仮にこのまわまなLv.59は明るくないとすれば「借り易いし更にそれは焦げ臭い」ということは間違っている;
$facts$ = fact1: もし仮にあるモンスターは明るくないとすると「それは借り易いしさらにそれは焦げ臭い」ということは誤りだ fact2: 仮にこのもちゃもちゅLv.97が物寂しいならばそのもにゅもにょLv.24は育て易い fact3: このもちゃもちゅLv.97は明るい fact4: もしもそのもにゅもにょLv.24が詮無いとしたらこのまわまなLv.59は借り易い fact5: 仮にそのもにゅもにょLv.24が育て易いならそれは詮無い fact6: このまわまなLv.59は焦げ臭い fact7: 仮に「このもちゃもちゅLv.97は明るい」ということは間違いでないとするとこのもちゃもちゅLv.97は物寂しい fact8: このもちゃもちゅLv.97は育て易い fact9: もし仮にこのまわまなLv.59が育て易くないとしたらそれは物寂しくなくて明るいということはない ; $hypothesis$ = 「このまわまなLv.59は借り易いし焦げ臭い」ということは嘘だ ; $proof$ = 
fact7 & fact3 -> int1: 「このもちゃもちゅLv.97は物寂しい」ということは誤っていない; int1 & fact2 -> int2: そのもにゅもにょLv.24は育て易い; int2 & fact5 -> int3: そのもにゅもにょLv.24は詮無い; int3 & fact4 -> int4: このまわまなLv.59は借り易い; int4 & fact6 -> hypothesis; __DISPROVED__
fact7 & fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact5 -> int3: {D}{b}; int3 & fact4 -> int4: {E}{c}; int4 & fact6 -> hypothesis; __DISPROVED__