「「その一次方程式はアレルゲンであるし更にそれは愛蔵する」ということは事実である」ということは真実でない
fact1: もしもなにかは火付けだとしたら壮挙でない fact2: もし仮にその一次方程式は甕棺葬でないなら「驕れるか仲睦まじいということはない」ということは本当でない fact3: この年以来は驕れない fact4: なにがしかのものは驕れないとすれば「あのブルーリボン最優秀作品賞は試掘であるということはないがしかしそれは愛蔵する」ということは成り立たない fact5: 「その一次方程式はアレルゲンだし更に試掘だ」ということは誤っている fact6: もし「「試掘でないけど愛蔵する」ということは成り立つということはない」物があるとするとその英国ＧＣＨＱは愛蔵しない fact7: 仮になにかは詰まり易いとしたらそれは呪わしくない fact8: 仮にその一次方程式は甕棺葬だとしたら「「アレルゲンでないし仲睦まじいということはない」ということは成り立つ」ということは成り立つということはない fact9: もし仮にあのキリスト降誕は試掘であるならば詰まり易い fact10: もし仮になにかは愛蔵しないけど呪わしいとすれば詰まり易いということはない fact11: その一次方程式はアレルゲンである fact12: もしも「あるものは驕れるかもしくはそれは仲睦まじくない」ということは誤っていれば試掘でない fact13: 「その一次方程式は愛蔵するし詰まり易い」ということは偽だ fact14: なにがしかの物が愛蔵するということはないとするとそれは試掘でないしさらにそれは詰まり易くない fact15: 「詰まり易いということはないものは呪わしくないとしたら「アレルゲンである」ということは事実だ」ということは事実である fact16: 「その一次方程式は愛蔵するし混成する」ということは成り立たない fact17: あのキリスト降誕は試掘だ fact18: 仮にその一次方程式が詰まり易いとしたらそれはアレルゲンである fact19: 仮にあのキリスト降誕は呪わしくないならば「その一次方程式はアレルゲンだし愛蔵する」ということは成り立つということはない fact20: 「その一次方程式は詰まり易くてそれは愛蔵する」ということは成り立たない fact21: もしも「「あのブルーリボン最優秀作品賞は試掘でないけど呪わしい」ということは誤っている」ということは確かだとすればあの一次方程式は呪わしくない fact22: 呪わしいということはない物は愛蔵するししかも詰まり易い fact23: なにがしかの物は試掘でないならばそれはアレルゲンでまた呪わしい
fact7 -> int1: もしもあのキリスト降誕が詰まり易いなら呪わしくない; fact9 & fact17 -> int2: あのキリスト降誕は詰まり易い; int1 & int2 -> int3: あのキリスト降誕は呪わしくない; int3 & fact19 -> hypothesis;
その英国ＧＣＨＱは詰まり易くない
fact25 -> int4: もしその英国ＧＣＨＱが愛蔵しない一方で呪わしいならば詰まり易くない; fact24 -> int5: 「「驕れない」ということは確かである」物はある; int5 & fact28 -> int6: 「「あのブルーリボン最優秀作品賞は試掘でない一方でそれは愛蔵する」ということは成り立たない」ということは真実だ; int6 -> int7: 「「試掘でないが愛蔵する」ということは間違っている」ものはある; int7 & fact27 -> int8: その英国ＧＣＨＱは愛蔵しない;
$facts$ = fact1: もしもなにかは火付けだとしたら壮挙でない fact2: もし仮にその一次方程式は甕棺葬でないなら「驕れるか仲睦まじいということはない」ということは本当でない fact3: この年以来は驕れない fact4: なにがしかのものは驕れないとすれば「あのブルーリボン最優秀作品賞は試掘であるということはないがしかしそれは愛蔵する」ということは成り立たない fact5: 「その一次方程式はアレルゲンだし更に試掘だ」ということは誤っている fact6: もし「「試掘でないけど愛蔵する」ということは成り立つということはない」物があるとするとその英国ＧＣＨＱは愛蔵しない fact7: 仮になにかは詰まり易いとしたらそれは呪わしくない fact8: 仮にその一次方程式は甕棺葬だとしたら「「アレルゲンでないし仲睦まじいということはない」ということは成り立つ」ということは成り立つということはない fact9: もし仮にあのキリスト降誕は試掘であるならば詰まり易い fact10: もし仮になにかは愛蔵しないけど呪わしいとすれば詰まり易いということはない fact11: その一次方程式はアレルゲンである fact12: もしも「あるものは驕れるかもしくはそれは仲睦まじくない」ということは誤っていれば試掘でない fact13: 「その一次方程式は愛蔵するし詰まり易い」ということは偽だ fact14: なにがしかの物が愛蔵するということはないとするとそれは試掘でないしさらにそれは詰まり易くない fact15: 「詰まり易いということはないものは呪わしくないとしたら「アレルゲンである」ということは事実だ」ということは事実である fact16: 「その一次方程式は愛蔵するし混成する」ということは成り立たない fact17: あのキリスト降誕は試掘だ fact18: 仮にその一次方程式が詰まり易いとしたらそれはアレルゲンである fact19: 仮にあのキリスト降誕は呪わしくないならば「その一次方程式はアレルゲンだし愛蔵する」ということは成り立つということはない fact20: 「その一次方程式は詰まり易くてそれは愛蔵する」ということは成り立たない fact21: もしも「「あのブルーリボン最優秀作品賞は試掘でないけど呪わしい」ということは誤っている」ということは確かだとすればあの一次方程式は呪わしくない fact22: 呪わしいということはない物は愛蔵するししかも詰まり易い fact23: なにがしかの物は試掘でないならばそれはアレルゲンでまた呪わしい ; $hypothesis$ = 「「その一次方程式はアレルゲンであるし更にそれは愛蔵する」ということは事実である」ということは真実でない ; $proof$ = 
fact7 -> int1: もしもあのキリスト降誕が詰まり易いなら呪わしくない; fact9 & fact17 -> int2: あのキリスト降誕は詰まり易い; int1 & int2 -> int3: あのキリスト降誕は呪わしくない; int3 & 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: 呪わしいということはない物は愛蔵するししかも詰まり易い
事実23: なにがしかの物は試掘でないならばそれはアレルゲンでまた呪わしい

仮説: 「「その一次方程式はアレルゲンであるし更にそれは愛蔵する」ということは事実である」ということは真実でない
1. 事実7から、推論1: "もしもあのキリスト降誕が詰まり易いなら呪わしくない"が導かれる
2. 事実9と事実17から、推論2: "あのキリスト降誕は詰まり易い"が導かれる
3. 推論1と推論2から、推論3: "あのキリスト降誕は呪わしくない"が導かれる
4. 推論3と事実19から、仮説が導かれる

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