この実行結果はし為さる
fact1: もしもこの実行結果が何気無くないならばそれはし為さる fact2: 仮に「あの一日乗車券は八Ｘでないかもしくはそれはドライブするかあるいは両方だ」ということは嘘だとするとこの清らかさは演芸だ fact3: もしもとあるものが演芸であるしおまけに植え替えるとすればあの実行結果は何気無くない fact4: もし仮にある物は見物するけれどリンクするということはないならそれはドライブしない fact5: もしもこの清らかさはさり気無いなら「植え替える」ということは確かだ fact6: 「この清らかさはさり気無い」ということは確かである fact7: そのＣＯＰＤ患者はドライブしないならば「あの一日乗車券は八Ｘであるということはないかまたはドライブするかあるいは両方だ」ということは嘘である fact8: そのＣＯＰＤ患者は見物するけれどリンクしない fact9: もしも何かは演芸でないならば「それは八Ｘだけれどドライブしない」ということは成り立たない
fact4 -> int1: もし仮にそのＣＯＰＤ患者が見物するけどリンクしないならドライブしない; int1 & fact8 -> int2: そのＣＯＰＤ患者はドライブするということはない; int2 & fact7 -> int3: 「あの一日乗車券は八Ｘでないかそれはドライブするかまたはどちらもだ」ということは嘘だ; int3 & fact2 -> int4: この清らかさは演芸だ; fact6 & fact5 -> int5: この清らかさは植え替える; int4 & int5 -> int6: この清らかさは演芸であるし植え替える; int6 -> int7: 「演芸であるししかも植え替える」物はある; int7 & fact3 -> int8: この実行結果は何気無くない; int8 & fact1 -> hypothesis;
この実行結果はし為さるということはない
fact10 -> int9: 「もしもこの実行結果は演芸でないとしたら「この実行結果は八Ｘだ一方でドライブしない」ということは間違いである」ということは確かである;
$facts$ = fact1: もしもこの実行結果が何気無くないならばそれはし為さる fact2: 仮に「あの一日乗車券は八Ｘでないかもしくはそれはドライブするかあるいは両方だ」ということは嘘だとするとこの清らかさは演芸だ fact3: もしもとあるものが演芸であるしおまけに植え替えるとすればあの実行結果は何気無くない fact4: もし仮にある物は見物するけれどリンクするということはないならそれはドライブしない fact5: もしもこの清らかさはさり気無いなら「植え替える」ということは確かだ fact6: 「この清らかさはさり気無い」ということは確かである fact7: そのＣＯＰＤ患者はドライブしないならば「あの一日乗車券は八Ｘであるということはないかまたはドライブするかあるいは両方だ」ということは嘘である fact8: そのＣＯＰＤ患者は見物するけれどリンクしない fact9: もしも何かは演芸でないならば「それは八Ｘだけれどドライブしない」ということは成り立たない ; $hypothesis$ = この実行結果はし為さる ; $proof$ = 
fact4 -> int1: もし仮にそのＣＯＰＤ患者が見物するけどリンクしないならドライブしない; int1 & fact8 -> int2: そのＣＯＰＤ患者はドライブするということはない; int2 & fact7 -> int3: 「あの一日乗車券は八Ｘでないかそれはドライブするかまたはどちらもだ」ということは嘘だ; int3 & fact2 -> int4: この清らかさは演芸だ; fact6 & fact5 -> int5: この清らかさは植え替える; int4 & int5 -> int6: この清らかさは演芸であるし植え替える; int6 -> int7: 「演芸であるししかも植え替える」物はある; int7 & fact3 -> int8: この実行結果は何気無くない; int8 & fact1 -> hypothesis; __PROVED__
事実1: もしもこの実行結果が何気無くないならばそれはし為さる
事実2: 仮に「あの一日乗車券は八Ｘでないかもしくはそれはドライブするかあるいは両方だ」ということは嘘だとするとこの清らかさは演芸だ
事実3: もしもとあるものが演芸であるしおまけに植え替えるとすればあの実行結果は何気無くない
事実4: もし仮にある物は見物するけれどリンクするということはないならそれはドライブしない
事実5: もしもこの清らかさはさり気無いなら「植え替える」ということは確かだ
事実6: 「この清らかさはさり気無い」ということは確かである
事実7: そのＣＯＰＤ患者はドライブしないならば「あの一日乗車券は八Ｘであるということはないかまたはドライブするかあるいは両方だ」ということは嘘である
事実8: そのＣＯＰＤ患者は見物するけれどリンクしない
事実9: もしも何かは演芸でないならば「それは八Ｘだけれどドライブしない」ということは成り立たない

仮説: この実行結果はし為さる
1. 事実4から、推論1: "もし仮にそのＣＯＰＤ患者が見物するけどリンクしないならドライブしない"が導かれる
2. 推論1と事実8から、推論2: "そのＣＯＰＤ患者はドライブするということはない"が導かれる
3. 推論2と事実7から、推論3: "「あの一日乗車券は八Ｘでないかそれはドライブするかまたはどちらもだ」ということは嘘だ"が導かれる
4. 推論3と事実2から、推論4: "この清らかさは演芸だ"が導かれる
5. 事実6と事実5から、推論5: "この清らかさは植え替える"が導かれる
6. 推論4と推論5から、推論6: "この清らかさは演芸であるし植え替える"が導かれる
7. 推論6から、推論7: "「演芸であるししかも植え替える」物はある"が導かれる
8. 推論7と事実3から、推論8: "この実行結果は何気無くない"が導かれる
9. 推論8と事実1から、仮説が導かれる

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