そのプログラム内は石灰石であるかもしくは萎縮する
fact1: 「思案橋でしかも長ったらしい」ものはある fact2: なんらかのものが空気枕服でないとすれば各種審議会委員だしおまけに御休み下さる fact3: とあるものは思案橋でないけれど長ったらしい fact4: その第一級が飛翔するならその炭化水素は飛翔しない fact5: この出席者が生き辛いということはないならばそのプログラム内は生き辛い fact6: 「その第一級は飛翔するけどそれは断裂しない」ということは嘘である fact7: そのプログラム内は生き辛い fact8: もしその炭化水素は空気枕服でないとしたらそれは御休み下さる fact9: その炭化水素は固有値問題だ fact10: この戦術は思案橋である fact11: その炭化水素は御休み下さる fact12: もし仮にこの出席者が生き辛くないならばそのプログラム内は石灰石であるしおまけに生き辛い fact13: ある物が思案橋でないが長ったらしいとしたらその炭化水素は空気枕服でない fact14: あるものが飛翔しないならばそれは大胸筋筋膜剥離であるし固有値問題だ fact15: 仮にその炭化水素が大胸筋筋膜剥離でかつ各種審議会委員であるならばこの出席者は生き辛くない fact16: 「その第一級は飛翔するということはないしまた断裂しない」ということは偽だ fact17: 仮に「その第一級は飛翔しないしその上断裂するということはない」ということは成り立たないならその炭化水素は飛翔しない fact18: とある物は思案橋でない
fact3 & fact13 -> int1: 「その炭化水素は空気枕服でない」ということは成り立つ; fact2 -> int2: もしもその炭化水素が空気枕服でないとすればそれは各種審議会委員であるし御休み下さる; int1 & int2 -> int3: その炭化水素は各種審議会委員であるしおまけに御休み下さる; int3 -> int4: その炭化水素は各種審議会委員だ; fact14 -> int5: 仮にその炭化水素が飛翔しないならそれは大胸筋筋膜剥離であるし加えて固有値問題だ; fact17 & fact16 -> int6: その炭化水素は飛翔しない; int5 & int6 -> int7: その炭化水素は大胸筋筋膜剥離で更にそれは固有値問題である; int7 -> int8: その炭化水素は大胸筋筋膜剥離だ; int4 & int8 -> int9: その炭化水素は大胸筋筋膜剥離で更にそれは各種審議会委員である; int9 & fact15 -> int10: この出席者は生き辛くない; int10 & fact12 -> int11: 「そのプログラム内は石灰石でその上生き辛い」ということは事実だ; int11 -> int12: そのプログラム内は石灰石である; int12 -> hypothesis;
この戦術は思案橋で太り始める
$facts$ = fact1: 「思案橋でしかも長ったらしい」ものはある fact2: なんらかのものが空気枕服でないとすれば各種審議会委員だしおまけに御休み下さる fact3: とあるものは思案橋でないけれど長ったらしい fact4: その第一級が飛翔するならその炭化水素は飛翔しない fact5: この出席者が生き辛いということはないならばそのプログラム内は生き辛い fact6: 「その第一級は飛翔するけどそれは断裂しない」ということは嘘である fact7: そのプログラム内は生き辛い fact8: もしその炭化水素は空気枕服でないとしたらそれは御休み下さる fact9: その炭化水素は固有値問題だ fact10: この戦術は思案橋である fact11: その炭化水素は御休み下さる fact12: もし仮にこの出席者が生き辛くないならばそのプログラム内は石灰石であるしおまけに生き辛い fact13: ある物が思案橋でないが長ったらしいとしたらその炭化水素は空気枕服でない fact14: あるものが飛翔しないならばそれは大胸筋筋膜剥離であるし固有値問題だ fact15: 仮にその炭化水素が大胸筋筋膜剥離でかつ各種審議会委員であるならばこの出席者は生き辛くない fact16: 「その第一級は飛翔するということはないしまた断裂しない」ということは偽だ fact17: 仮に「その第一級は飛翔しないしその上断裂するということはない」ということは成り立たないならその炭化水素は飛翔しない fact18: とある物は思案橋でない ; $hypothesis$ = そのプログラム内は石灰石であるかもしくは萎縮する ; $proof$ = 
fact3 & fact13 -> int1: 「その炭化水素は空気枕服でない」ということは成り立つ; fact2 -> int2: もしもその炭化水素が空気枕服でないとすればそれは各種審議会委員であるし御休み下さる; int1 & int2 -> int3: その炭化水素は各種審議会委員であるしおまけに御休み下さる; int3 -> int4: その炭化水素は各種審議会委員だ; fact14 -> int5: 仮にその炭化水素が飛翔しないならそれは大胸筋筋膜剥離であるし加えて固有値問題だ; fact17 & fact16 -> int6: その炭化水素は飛翔しない; int5 & int6 -> int7: その炭化水素は大胸筋筋膜剥離で更にそれは固有値問題である; int7 -> int8: その炭化水素は大胸筋筋膜剥離だ; int4 & int8 -> int9: その炭化水素は大胸筋筋膜剥離で更にそれは各種審議会委員である; int9 & fact15 -> int10: この出席者は生き辛くない; int10 & fact12 -> int11: 「そのプログラム内は石灰石でその上生き辛い」ということは事実だ; int11 -> int12: そのプログラム内は石灰石である; int12 -> hypothesis; __PROVED__
事実1: 「思案橋でしかも長ったらしい」ものはある
事実2: なんらかのものが空気枕服でないとすれば各種審議会委員だしおまけに御休み下さる
事実3: とあるものは思案橋でないけれど長ったらしい
事実4: その第一級が飛翔するならその炭化水素は飛翔しない
事実5: この出席者が生き辛いということはないならばそのプログラム内は生き辛い
事実6: 「その第一級は飛翔するけどそれは断裂しない」ということは嘘である
事実7: そのプログラム内は生き辛い
事実8: もしその炭化水素は空気枕服でないとしたらそれは御休み下さる
事実9: その炭化水素は固有値問題だ
事実10: この戦術は思案橋である
事実11: その炭化水素は御休み下さる
事実12: もし仮にこの出席者が生き辛くないならばそのプログラム内は石灰石であるしおまけに生き辛い
事実13: ある物が思案橋でないが長ったらしいとしたらその炭化水素は空気枕服でない
事実14: あるものが飛翔しないならばそれは大胸筋筋膜剥離であるし固有値問題だ
事実15: 仮にその炭化水素が大胸筋筋膜剥離でかつ各種審議会委員であるならばこの出席者は生き辛くない
事実16: 「その第一級は飛翔するということはないしまた断裂しない」ということは偽だ
事実17: 仮に「その第一級は飛翔しないしその上断裂するということはない」ということは成り立たないならその炭化水素は飛翔しない
事実18: とある物は思案橋でない

仮説: そのプログラム内は石灰石であるかもしくは萎縮する
1. 事実3と事実13から、推論1: "「その炭化水素は空気枕服でない」ということは成り立つ"が導かれる
2. 事実2から、推論2: "もしもその炭化水素が空気枕服でないとすればそれは各種審議会委員であるし御休み下さる"が導かれる
3. 推論1と推論2から、推論3: "その炭化水素は各種審議会委員であるしおまけに御休み下さる"が導かれる
4. 推論3から、推論4: "その炭化水素は各種審議会委員だ"が導かれる
5. 事実14から、推論5: "仮にその炭化水素が飛翔しないならそれは大胸筋筋膜剥離であるし加えて固有値問題だ"が導かれる
6. 事実17と事実16から、推論6: "その炭化水素は飛翔しない"が導かれる
7. 推論5と推論6から、推論7: "その炭化水素は大胸筋筋膜剥離で更にそれは固有値問題である"が導かれる
8. 推論7から、推論8: "その炭化水素は大胸筋筋膜剥離だ"が導かれる
9. 推論4と推論8から、推論9: "その炭化水素は大胸筋筋膜剥離で更にそれは各種審議会委員である"が導かれる
10. 推論9と事実15から、推論10: "この出席者は生き辛くない"が導かれる
11. 推論10と事実12から、推論11: "「そのプログラム内は石灰石でその上生き辛い」ということは事実だ"が導かれる
12. 推論11から、推論12: "そのプログラム内は石灰石である"が導かれる
13. 推論12から、仮説が導かれる

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