あのもゆもちゅLv.98は手厳しい
fact1: もし仮に「あのもゆもいLv.6は烏滸がましい」ということは成り立てば「あのもゆもちゅLv.98は手厳しい」ということは成り立つ fact2: 「もし仮にこのもちゃもにLv.49が小さ過ぎればあのもゆもいLv.6は烏滸がましい」ということは成り立つ fact3: 仮にこのもちゃもにLv.49が日本らしいとするとそれは小さ過ぎる fact4: このもちゃもにLv.49はそつ無い fact5: もし仮にこのもちゃもにLv.49がそつ無くないならあのもゆもちゅLv.98は手厳しくない fact6: 仮に「このもちゃもにLv.49はそつ無い」ということは事実だとしたら「日本らしい」ということは事実である fact7: もし仮にあのまやまねLv.86は烏滸がましいとしたら「それは小さ過ぎるけど手厳しいということはない」ということは成り立たない fact8: あのもゆもちゅLv.98は小さ過ぎる
fact6 & fact4 -> int1: このもちゃもにLv.49は日本らしい; int1 & fact3 -> int2: 「このもちゃもにLv.49は小さ過ぎる」ということは成り立つ; int2 & fact2 -> int3: あのもゆもいLv.6は烏滸がましい; int3 & fact1 -> hypothesis;
fact6 & fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> int3: {D}{b}; int3 & fact1 -> hypothesis;
あのもゆもちゅLv.98は手厳しくない
$facts$ = fact1: もし仮に「あのもゆもいLv.6は烏滸がましい」ということは成り立てば「あのもゆもちゅLv.98は手厳しい」ということは成り立つ fact2: 「もし仮にこのもちゃもにLv.49が小さ過ぎればあのもゆもいLv.6は烏滸がましい」ということは成り立つ fact3: 仮にこのもちゃもにLv.49が日本らしいとするとそれは小さ過ぎる fact4: このもちゃもにLv.49はそつ無い fact5: もし仮にこのもちゃもにLv.49がそつ無くないならあのもゆもちゅLv.98は手厳しくない fact6: 仮に「このもちゃもにLv.49はそつ無い」ということは事実だとしたら「日本らしい」ということは事実である fact7: もし仮にあのまやまねLv.86は烏滸がましいとしたら「それは小さ過ぎるけど手厳しいということはない」ということは成り立たない fact8: あのもゆもちゅLv.98は小さ過ぎる ; $hypothesis$ = あのもゆもちゅLv.98は手厳しい ; $proof$ = 
fact6 & fact4 -> int1: このもちゃもにLv.49は日本らしい; int1 & fact3 -> int2: 「このもちゃもにLv.49は小さ過ぎる」ということは成り立つ; int2 & fact2 -> int3: あのもゆもいLv.6は烏滸がましい; int3 & fact1 -> hypothesis; __PROVED__
fact6 & fact4 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{a}; int2 & fact2 -> int3: {D}{b}; int3 & fact1 -> hypothesis; __PROVED__