この頭ごなしはコインであるし弛み無い
fact1: 「あのメカニズム・デザインは零端子だしコインである」ということは真実だ fact2: 「この頭ごなしは教団施設だしその上崩れ出す」ということは確かだ fact3: この頭ごなしは怠い fact4: この当たり籤は常駐しないならば「それは名産だししかも惨めったらしい」ということは嘘である fact5: もし仮に「「名産でその上惨めったらしい」ということは間違いである」ものがあるとすればこの頭ごなしは闇船だ fact6: もしもある物は闇船でないならばそれは名産であるかあるいは針葉樹林でないかもしくはどちらもである fact7: その俘軍はコインだ fact8: あのブロー成型が名産であるかもしくは針葉樹林であるということはないかまたはどちらもであるとすればあの防衛設備は針葉樹林でない fact9: この頭ごなしは細い fact10: この頭ごなしは小気味良い fact11: このマスカルポーネチーズは弛み無い fact12: もし仮に「「弛み無くなくてかつ走り易くない」ということは誤りな」物があるとしたらその第二大隊はコインである fact13: この痛風患者はコインだし加えて細い fact14: この当たり籤は常駐しない fact15: 「全ての物は掘り進むということはないしそれに瑞々しい」ということは成り立つ fact16: この頭ごなしは闇船ならば「それは弛み無くないし走り易くない」ということは嘘である fact17: もし仮に「この夫自身はコインでないか走り易いということはない」ということは成り立たないならこの当たり籤はコインでない fact18: 「この頭ごなしはコインである」ということは成り立つ fact19: もしもあの防衛設備は大成功しないとすれば「この夫自身はコインでないかまたは走り易くないか両方である」ということは成り立たない fact20: この頭ごなしは弛み無い fact21: もしなにかは針葉樹林でないなら「大成功しない」ということは確かである
fact18 & fact20 -> hypothesis;
fact18 & fact20 -> hypothesis;
「この頭ごなしがコインだし更に弛み無い」ということは事実と異なる
fact26 -> int1: もしあの防衛設備が針葉樹林でないとすれば大成功しない; fact24 -> int2: 「あのブロー成型は闇船でない」ということは本当であるならばそれは名産であるかあるいはそれは針葉樹林でないかもしくは両方である;
$facts$ = fact1: 「あのメカニズム・デザインは零端子だしコインである」ということは真実だ fact2: 「この頭ごなしは教団施設だしその上崩れ出す」ということは確かだ fact3: この頭ごなしは怠い fact4: この当たり籤は常駐しないならば「それは名産だししかも惨めったらしい」ということは嘘である fact5: もし仮に「「名産でその上惨めったらしい」ということは間違いである」ものがあるとすればこの頭ごなしは闇船だ fact6: もしもある物は闇船でないならばそれは名産であるかあるいは針葉樹林でないかもしくはどちらもである fact7: その俘軍はコインだ fact8: あのブロー成型が名産であるかもしくは針葉樹林であるということはないかまたはどちらもであるとすればあの防衛設備は針葉樹林でない fact9: この頭ごなしは細い fact10: この頭ごなしは小気味良い fact11: このマスカルポーネチーズは弛み無い fact12: もし仮に「「弛み無くなくてかつ走り易くない」ということは誤りな」物があるとしたらその第二大隊はコインである fact13: この痛風患者はコインだし加えて細い fact14: この当たり籤は常駐しない fact15: 「全ての物は掘り進むということはないしそれに瑞々しい」ということは成り立つ fact16: この頭ごなしは闇船ならば「それは弛み無くないし走り易くない」ということは嘘である fact17: もし仮に「この夫自身はコインでないか走り易いということはない」ということは成り立たないならこの当たり籤はコインでない fact18: 「この頭ごなしはコインである」ということは成り立つ fact19: もしもあの防衛設備は大成功しないとすれば「この夫自身はコインでないかまたは走り易くないか両方である」ということは成り立たない fact20: この頭ごなしは弛み無い fact21: もしなにかは針葉樹林でないなら「大成功しない」ということは確かである ; $hypothesis$ = この頭ごなしはコインであるし弛み無い ; $proof$ = 
fact18 & fact20 -> hypothesis; __PROVED__
事実1: 「あのメカニズム・デザインは零端子だしコインである」ということは真実だ
事実2: 「この頭ごなしは教団施設だしその上崩れ出す」ということは確かだ
事実3: この頭ごなしは怠い
事実4: この当たり籤は常駐しないならば「それは名産だししかも惨めったらしい」ということは嘘である
事実5: もし仮に「「名産でその上惨めったらしい」ということは間違いである」ものがあるとすればこの頭ごなしは闇船だ
事実6: もしもある物は闇船でないならばそれは名産であるかあるいは針葉樹林でないかもしくはどちらもである
事実7: その俘軍はコインだ
事実8: あのブロー成型が名産であるかもしくは針葉樹林であるということはないかまたはどちらもであるとすればあの防衛設備は針葉樹林でない
事実9: この頭ごなしは細い
事実10: この頭ごなしは小気味良い
事実11: このマスカルポーネチーズは弛み無い
事実12: もし仮に「「弛み無くなくてかつ走り易くない」ということは誤りな」物があるとしたらその第二大隊はコインである
事実13: この痛風患者はコインだし加えて細い
事実14: この当たり籤は常駐しない
事実15: 「全ての物は掘り進むということはないしそれに瑞々しい」ということは成り立つ
事実16: この頭ごなしは闇船ならば「それは弛み無くないし走り易くない」ということは嘘である
事実17: もし仮に「この夫自身はコインでないか走り易いということはない」ということは成り立たないならこの当たり籤はコインでない
事実18: 「この頭ごなしはコインである」ということは成り立つ
事実19: もしもあの防衛設備は大成功しないとすれば「この夫自身はコインでないかまたは走り易くないか両方である」ということは成り立たない
事実20: この頭ごなしは弛み無い
事実21: もしなにかは針葉樹林でないなら「大成功しない」ということは確かである

仮説: この頭ごなしはコインであるし弛み無い
1. 事実18と事実20から、仮説が導かれる

よって、仮説が証明されました。