このＣＯＤＥは如何わしいということはない
fact1: もしも何らかのものがオイルショックでないとすれば如何わしくてそれにそれは詠ずる fact2: 仮に「このＣＯＤＥは久しくないし開帳しない」ということは誤っているならばあの滴は開帳しない fact3: この滴は城外でない fact4: 「あの的屋仲間は御着きに成るしかつそれは詠ずる」ということは偽ならば開帳しない fact5: もし仮に「何かはオイルショックであるがしかしタイトルらしくない」ということは正しいということはないならばオイルショックでない fact6: 仮にこの滴が城外で更に如何わしいならそのＤＵは城外でない fact7: もしもこの滴が如何わしくないし城外でないとすればこのＣＯＤＥは甘くない fact8: 「この滴は甘い」ということは真実であるならこのＣＯＤＥは如何わしい fact9: この落第は科目区分だということはないし如何わしくない fact10: あの的屋仲間は御着きに成るかあるいはそれはノード構造である fact11: 仮に何かは開帳しないとすると城外だしそれに甘い fact12: もしもあの的屋仲間が開帳しなくてそれに甘くないならばあの滴は甘い fact13: その呼吸機能が与え易くないかまたはそれは勝るとすると「与え易くない」ということは本当である fact14: もし「あの的屋仲間は御着きに成る」ということは成り立つとするとこのＣＯＤＥは御着きに成る fact15: このＣＯＤＥは詠ずるということはないしおまけにそれは国防委員会でない fact16: その呼吸機能は与え易くないかもしくはそれは勝るかまたは両方ともだ fact17: 「このＣＯＤＥは餓鬼っぽくない」ということは正しい fact18: もし仮にその呼吸機能は与え易くないとしたら「「この滴はオイルショックであるけれどタイトルらしくない」ということは確かである」ということは成り立たない fact19: もしこの滴が甘いということはないしおまけにそれが城外でないとしたらこのＣＯＤＥは如何わしいということはない fact20: ある物は御着きに成るとすると「それは久しくないし更に開帳しない」ということは成り立たない fact21: 「この滴は甘いということはない」ということは本当である fact22: その審判開始決定書は如何わしくない
fact21 & fact3 -> int1: この滴は甘くないしその上城外でない; int1 & fact19 -> hypothesis;
そのＤＵは城外でない
fact28 -> int2: この滴が開帳しないとすると城外であるし甘い; fact23 -> int3: もし仮にこのＣＯＤＥは御着きに成るとすると「それは久しいということはなくて開帳しない」ということは事実と異なる; fact25 -> int4: 仮に「この滴はオイルショックだということはない」ということは成り立つなら如何わしいし詠ずる; fact30 -> int5: 「もし「この滴はオイルショックであるがしかしタイトルらしくない」ということは間違っているとするとこの滴はオイルショックでない」ということは真実だ; fact27 & fact24 -> int6: 「その呼吸機能は与え易くない」ということは事実だ; fact31 & int6 -> int7: 「この滴はオイルショックであるけれどタイトルらしくない」ということは成り立たない; int5 & int7 -> int8: この滴はオイルショックであるということはない; int4 & int8 -> int9: この滴は如何わしいしそれに詠ずる; int9 -> int10: この滴は如何わしい;
$facts$ = fact1: もしも何らかのものがオイルショックでないとすれば如何わしくてそれにそれは詠ずる fact2: 仮に「このＣＯＤＥは久しくないし開帳しない」ということは誤っているならばあの滴は開帳しない fact3: この滴は城外でない fact4: 「あの的屋仲間は御着きに成るしかつそれは詠ずる」ということは偽ならば開帳しない fact5: もし仮に「何かはオイルショックであるがしかしタイトルらしくない」ということは正しいということはないならばオイルショックでない fact6: 仮にこの滴が城外で更に如何わしいならそのＤＵは城外でない fact7: もしもこの滴が如何わしくないし城外でないとすればこのＣＯＤＥは甘くない fact8: 「この滴は甘い」ということは真実であるならこのＣＯＤＥは如何わしい fact9: この落第は科目区分だということはないし如何わしくない fact10: あの的屋仲間は御着きに成るかあるいはそれはノード構造である fact11: 仮に何かは開帳しないとすると城外だしそれに甘い fact12: もしもあの的屋仲間が開帳しなくてそれに甘くないならばあの滴は甘い fact13: その呼吸機能が与え易くないかまたはそれは勝るとすると「与え易くない」ということは本当である fact14: もし「あの的屋仲間は御着きに成る」ということは成り立つとするとこのＣＯＤＥは御着きに成る fact15: このＣＯＤＥは詠ずるということはないしおまけにそれは国防委員会でない fact16: その呼吸機能は与え易くないかもしくはそれは勝るかまたは両方ともだ fact17: 「このＣＯＤＥは餓鬼っぽくない」ということは正しい fact18: もし仮にその呼吸機能は与え易くないとしたら「「この滴はオイルショックであるけれどタイトルらしくない」ということは確かである」ということは成り立たない fact19: もしこの滴が甘いということはないしおまけにそれが城外でないとしたらこのＣＯＤＥは如何わしいということはない fact20: ある物は御着きに成るとすると「それは久しくないし更に開帳しない」ということは成り立たない fact21: 「この滴は甘いということはない」ということは本当である fact22: その審判開始決定書は如何わしくない ; $hypothesis$ = このＣＯＤＥは如何わしいということはない ; $proof$ = 
fact21 & fact3 -> int1: この滴は甘くないしその上城外でない; int1 & fact19 -> hypothesis; __PROVED__
事実1: もしも何らかのものがオイルショックでないとすれば如何わしくてそれにそれは詠ずる
事実2: 仮に「このＣＯＤＥは久しくないし開帳しない」ということは誤っているならばあの滴は開帳しない
事実3: この滴は城外でない
事実4: 「あの的屋仲間は御着きに成るしかつそれは詠ずる」ということは偽ならば開帳しない
事実5: もし仮に「何かはオイルショックであるがしかしタイトルらしくない」ということは正しいということはないならばオイルショックでない
事実6: 仮にこの滴が城外で更に如何わしいならそのＤＵは城外でない
事実7: もしもこの滴が如何わしくないし城外でないとすればこのＣＯＤＥは甘くない
事実8: 「この滴は甘い」ということは真実であるならこのＣＯＤＥは如何わしい
事実9: この落第は科目区分だということはないし如何わしくない
事実10: あの的屋仲間は御着きに成るかあるいはそれはノード構造である
事実11: 仮に何かは開帳しないとすると城外だしそれに甘い
事実12: もしもあの的屋仲間が開帳しなくてそれに甘くないならばあの滴は甘い
事実13: その呼吸機能が与え易くないかまたはそれは勝るとすると「与え易くない」ということは本当である
事実14: もし「あの的屋仲間は御着きに成る」ということは成り立つとするとこのＣＯＤＥは御着きに成る
事実15: このＣＯＤＥは詠ずるということはないしおまけにそれは国防委員会でない
事実16: その呼吸機能は与え易くないかもしくはそれは勝るかまたは両方ともだ
事実17: 「このＣＯＤＥは餓鬼っぽくない」ということは正しい
事実18: もし仮にその呼吸機能は与え易くないとしたら「「この滴はオイルショックであるけれどタイトルらしくない」ということは確かである」ということは成り立たない
事実19: もしこの滴が甘いということはないしおまけにそれが城外でないとしたらこのＣＯＤＥは如何わしいということはない
事実20: ある物は御着きに成るとすると「それは久しくないし更に開帳しない」ということは成り立たない
事実21: 「この滴は甘いということはない」ということは本当である
事実22: その審判開始決定書は如何わしくない

仮説: このＣＯＤＥは如何わしいということはない
1. 事実21と事実3から、推論1: "この滴は甘くないしその上城外でない"が導かれる
2. 推論1と事実19から、仮説が導かれる

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