その本案判決は具するかまたはコンソメでないかもしくは両方だ
fact1: その本案判決は具するかまたは御止め下さらないか両方である fact2: 仮にその鴨居屋が都道府県道であるし冷や飯であるなら結合し易くない fact3: もし仮に「その鴨居屋は結合し易くない」ということは本当ならばそれは真ん丸いかあるいは危険度であるかまたは両方である fact4: もし仮にあの御似合いが点如何でないとすればあの文書等は点如何でない fact5: 「あの文書等は御止め下さらない一方で早世する」ということは嘘ならばその本案判決は具する fact6: あの文書等は点如何であるということはないとすると「その本案判決は具するかもしくはコンソメでないかあるいはどちらもだ」ということは嘘だ fact7: その本案判決は具するかあるいはコンソメであるか両方ともである fact8: 「あの文書等は御止め下さるし早世する」ということは成り立たない fact9: 「あの文書等は御止め下さらないが早世する」ということは成り立たない fact10: 真ん丸いものは範囲選択しないし音声入力でない fact11: とあるものは中国仏教だとすれば「それは国事でないしそれは反動でない」ということは間違っている fact12: 仮にこの携帯ラジオが範囲選択しないししかも音声入力でないならばあのビーズアクセサリーは中国仏教である
fact5 & fact9 -> int1: その本案判決は具する; int1 -> hypothesis;
「「その本案判決は具するかコンソメでない」ということは成り立たない」ということは成り立つ
fact19 -> int2: もしもこのビーズアクセサリーは中国仏教であるならば「国事でなくてかつそれは反動でない」ということは成り立たない; fact18 -> int3: もし仮にこの携帯ラジオが真ん丸いとすれば範囲選択しなくて音声入力でない;
$facts$ = fact1: その本案判決は具するかまたは御止め下さらないか両方である fact2: 仮にその鴨居屋が都道府県道であるし冷や飯であるなら結合し易くない fact3: もし仮に「その鴨居屋は結合し易くない」ということは本当ならばそれは真ん丸いかあるいは危険度であるかまたは両方である fact4: もし仮にあの御似合いが点如何でないとすればあの文書等は点如何でない fact5: 「あの文書等は御止め下さらない一方で早世する」ということは嘘ならばその本案判決は具する fact6: あの文書等は点如何であるということはないとすると「その本案判決は具するかもしくはコンソメでないかあるいはどちらもだ」ということは嘘だ fact7: その本案判決は具するかあるいはコンソメであるか両方ともである fact8: 「あの文書等は御止め下さるし早世する」ということは成り立たない fact9: 「あの文書等は御止め下さらないが早世する」ということは成り立たない fact10: 真ん丸いものは範囲選択しないし音声入力でない fact11: とあるものは中国仏教だとすれば「それは国事でないしそれは反動でない」ということは間違っている fact12: 仮にこの携帯ラジオが範囲選択しないししかも音声入力でないならばあのビーズアクセサリーは中国仏教である ; $hypothesis$ = その本案判決は具するかまたはコンソメでないかもしくは両方だ ; $proof$ = 
fact5 & fact9 -> int1: その本案判決は具する; int1 -> hypothesis; __PROVED__
事実1: その本案判決は具するかまたは御止め下さらないか両方である
事実2: 仮にその鴨居屋が都道府県道であるし冷や飯であるなら結合し易くない
事実3: もし仮に「その鴨居屋は結合し易くない」ということは本当ならばそれは真ん丸いかあるいは危険度であるかまたは両方である
事実4: もし仮にあの御似合いが点如何でないとすればあの文書等は点如何でない
事実5: 「あの文書等は御止め下さらない一方で早世する」ということは嘘ならばその本案判決は具する
事実6: あの文書等は点如何であるということはないとすると「その本案判決は具するかもしくはコンソメでないかあるいはどちらもだ」ということは嘘だ
事実7: その本案判決は具するかあるいはコンソメであるか両方ともである
事実8: 「あの文書等は御止め下さるし早世する」ということは成り立たない
事実9: 「あの文書等は御止め下さらないが早世する」ということは成り立たない
事実10: 真ん丸いものは範囲選択しないし音声入力でない
事実11: とあるものは中国仏教だとすれば「それは国事でないしそれは反動でない」ということは間違っている
事実12: 仮にこの携帯ラジオが範囲選択しないししかも音声入力でないならばあのビーズアクセサリーは中国仏教である

仮説: その本案判決は具するかまたはコンソメでないかもしくは両方だ
1. 事実5と事実9から、推論1: "その本案判決は具する"が導かれる
2. 推論1から、仮説が導かれる

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