「この音楽教師は捕らえ込まなくて沈み行かない」ということは誤りである
fact1: 真新しくない物は沈み行かなくておっそろしない fact2: そのサテンは名乗り出るということはないしそれは遠位骨片でない fact3: もしこの民百姓が伸び易いならばあの不明瞭さは沈み行くということはない fact4: あの不明瞭さは優れるということはない fact5: もしもとあるものは区切り子でないとすると「それは伸び易くないけれど捕らえ込む」ということは成り立つということはない fact6: 仮にこの民百姓が約五千人であるかまたは伸び易いかもしくはどちらもだとするとあの不明瞭さは沈み行かない fact7: もし「この民百姓は伸び易くないが捕らえ込む」ということは嘘ならばあの紙包みは伸び易くない fact8: もしあの不明瞭さが沈み行かないとするとこの音楽教師は捕らえ込まない fact9: この民百姓は真新しい fact10: もしもあの不明瞭さが沈み行かないならこの音楽教師は捕らえ込まなくて沈み行かない fact11: 何かは真新しいとしたら「捕らえ込まなくてしかも沈み行かない」ということは偽だ fact12: もしも「「「和洋折衷であるか親しいということはない」ということは嘘である」物はある」ということは成り立つとしたらこの民百姓は区切り子でない fact13: この民百姓が真新しくないとするとこの音楽教師は真新しい fact14: 仮にこの民百姓が真新しいとしたら約五千人である fact15: 「「和洋折衷であるか親しくない」ということは成り立たない」物はある fact16: この音楽教師は捕らえ込むということはない fact17: もしあの不明瞭さがみみっちくないとするとこの紙包みは孝行するし約五千人である fact18: あの不明瞭さは侍ふがみみっちいということはない
fact14 & fact9 -> int1: この民百姓は約五千人である; int1 -> int2: この民百姓は約五千人であるかあるいはそれは伸び易い; int2 & fact6 -> int3: 「あの不明瞭さは沈み行かない」ということは真実である; int3 & fact10 -> hypothesis;
「この音楽教師は捕らえ込まないしそれは沈み行かない」ということは偽である
fact20 -> int4: もしこの音楽教師は真新しいとすると「捕らえ込まないし沈み行かない」ということは間違っている;
$facts$ = fact1: 真新しくない物は沈み行かなくておっそろしない fact2: そのサテンは名乗り出るということはないしそれは遠位骨片でない fact3: もしこの民百姓が伸び易いならばあの不明瞭さは沈み行くということはない fact4: あの不明瞭さは優れるということはない fact5: もしもとあるものは区切り子でないとすると「それは伸び易くないけれど捕らえ込む」ということは成り立つということはない fact6: 仮にこの民百姓が約五千人であるかまたは伸び易いかもしくはどちらもだとするとあの不明瞭さは沈み行かない fact7: もし「この民百姓は伸び易くないが捕らえ込む」ということは嘘ならばあの紙包みは伸び易くない fact8: もしあの不明瞭さが沈み行かないとするとこの音楽教師は捕らえ込まない fact9: この民百姓は真新しい fact10: もしもあの不明瞭さが沈み行かないならこの音楽教師は捕らえ込まなくて沈み行かない fact11: 何かは真新しいとしたら「捕らえ込まなくてしかも沈み行かない」ということは偽だ fact12: もしも「「「和洋折衷であるか親しいということはない」ということは嘘である」物はある」ということは成り立つとしたらこの民百姓は区切り子でない fact13: この民百姓が真新しくないとするとこの音楽教師は真新しい fact14: 仮にこの民百姓が真新しいとしたら約五千人である fact15: 「「和洋折衷であるか親しくない」ということは成り立たない」物はある fact16: この音楽教師は捕らえ込むということはない fact17: もしあの不明瞭さがみみっちくないとするとこの紙包みは孝行するし約五千人である fact18: あの不明瞭さは侍ふがみみっちいということはない ; $hypothesis$ = 「この音楽教師は捕らえ込まなくて沈み行かない」ということは誤りである ; $proof$ = 
fact14 & fact9 -> int1: この民百姓は約五千人である; int1 -> int2: この民百姓は約五千人であるかあるいはそれは伸び易い; int2 & fact6 -> int3: 「あの不明瞭さは沈み行かない」ということは真実である; int3 & fact10 -> hypothesis; __DISPROVED__
事実1: 真新しくない物は沈み行かなくておっそろしない
事実2: そのサテンは名乗り出るということはないしそれは遠位骨片でない
事実3: もしこの民百姓が伸び易いならばあの不明瞭さは沈み行くということはない
事実4: あの不明瞭さは優れるということはない
事実5: もしもとあるものは区切り子でないとすると「それは伸び易くないけれど捕らえ込む」ということは成り立つということはない
事実6: 仮にこの民百姓が約五千人であるかまたは伸び易いかもしくはどちらもだとするとあの不明瞭さは沈み行かない
事実7: もし「この民百姓は伸び易くないが捕らえ込む」ということは嘘ならばあの紙包みは伸び易くない
事実8: もしあの不明瞭さが沈み行かないとするとこの音楽教師は捕らえ込まない
事実9: この民百姓は真新しい
事実10: もしもあの不明瞭さが沈み行かないならこの音楽教師は捕らえ込まなくて沈み行かない
事実11: 何かは真新しいとしたら「捕らえ込まなくてしかも沈み行かない」ということは偽だ
事実12: もしも「「「和洋折衷であるか親しいということはない」ということは嘘である」物はある」ということは成り立つとしたらこの民百姓は区切り子でない
事実13: この民百姓が真新しくないとするとこの音楽教師は真新しい
事実14: 仮にこの民百姓が真新しいとしたら約五千人である
事実15: 「「和洋折衷であるか親しくない」ということは成り立たない」物はある
事実16: この音楽教師は捕らえ込むということはない
事実17: もしあの不明瞭さがみみっちくないとするとこの紙包みは孝行するし約五千人である
事実18: あの不明瞭さは侍ふがみみっちいということはない

仮説: 「この音楽教師は捕らえ込まなくて沈み行かない」ということは誤りである
1. 事実14と事実9から、推論1: "この民百姓は約五千人である"が導かれる
2. 推論1から、推論2: "この民百姓は約五千人であるかあるいはそれは伸び易い"が導かれる
3. 推論2と事実6から、推論3: "「あの不明瞭さは沈み行かない」ということは真実である"が導かれる
4. 推論3と事実10から、仮説が否定される

よって、仮説が否定されました。