「あの金余りは悪びれない」ということは成り立つ
fact1: とあるものが比較分析するとすると御邪魔する fact2: 仮に「「超音速でないしさらにからすみである」ということは偽な」ものがあるならあの金余りは悪びれない fact3: もし仮になんらかのものが調整するとしたらあのキャストライブラリシェアは比較分析するかあるいはそれは調整するかあるいは両方ともだ fact4: 「その超音波内視鏡は超音速でないけどそれはからすみである」ということは嘘だ fact5: もしもある物が崩れ掛かるかあるいはそれはリードイングでないとすると営利事業だということはない fact6: もし仮にとある物が御邪魔すれば崩れ掛かるかあるいはそれはリードイングでないかあるいは両方である fact7: 「調整する」物はある fact8: 仮に何らかのものは悪びれるかデータ収集法だということはないとすればそれは悪びれる fact9: もしある物は営利事業であるということはないとすると「それは悪びれるかそれはデータ収集法でないかあるいは両方ともだ」ということは本当である
fact4 -> int1: 「「超音速でないけれどからすみである」ということは嘘な」ものはある; int1 & fact2 -> hypothesis;
あの金余りは悪びれる
fact14 -> int2: もし仮にあの金余りが悪びれるかデータ収集法であるということはないならそれは悪びれる; fact13 -> int3: もし仮にあの金余りが営利事業でないとしたら悪びれるかまたはデータ収集法でない; fact10 -> int4: 「もし仮にあの金余りが崩れ掛かるかまたはリードイングでないとしたらあの金余りは営利事業でない」ということは正しい; fact11 -> int5: 仮にあの金余りが御邪魔するとしたらそれは崩れ掛かるかそれはリードイングでないかあるいは両方ともだ; fact16 -> int6: あの金余りが比較分析するとすればそれは御邪魔する; fact12 & fact15 -> int7: あのキャストライブラリシェアは比較分析するかもしくはそれは調整するかどちらもだ;
$facts$ = fact1: とあるものが比較分析するとすると御邪魔する fact2: 仮に「「超音速でないしさらにからすみである」ということは偽な」ものがあるならあの金余りは悪びれない fact3: もし仮になんらかのものが調整するとしたらあのキャストライブラリシェアは比較分析するかあるいはそれは調整するかあるいは両方ともだ fact4: 「その超音波内視鏡は超音速でないけどそれはからすみである」ということは嘘だ fact5: もしもある物が崩れ掛かるかあるいはそれはリードイングでないとすると営利事業だということはない fact6: もし仮にとある物が御邪魔すれば崩れ掛かるかあるいはそれはリードイングでないかあるいは両方である fact7: 「調整する」物はある fact8: 仮に何らかのものは悪びれるかデータ収集法だということはないとすればそれは悪びれる fact9: もしある物は営利事業であるということはないとすると「それは悪びれるかそれはデータ収集法でないかあるいは両方ともだ」ということは本当である ; $hypothesis$ = 「あの金余りは悪びれない」ということは成り立つ ; $proof$ = 
fact4 -> int1: 「「超音速でないけれどからすみである」ということは嘘な」ものはある; int1 & fact2 -> hypothesis; __PROVED__
事実1: とあるものが比較分析するとすると御邪魔する
事実2: 仮に「「超音速でないしさらにからすみである」ということは偽な」ものがあるならあの金余りは悪びれない
事実3: もし仮になんらかのものが調整するとしたらあのキャストライブラリシェアは比較分析するかあるいはそれは調整するかあるいは両方ともだ
事実4: 「その超音波内視鏡は超音速でないけどそれはからすみである」ということは嘘だ
事実5: もしもある物が崩れ掛かるかあるいはそれはリードイングでないとすると営利事業だということはない
事実6: もし仮にとある物が御邪魔すれば崩れ掛かるかあるいはそれはリードイングでないかあるいは両方である
事実7: 「調整する」物はある
事実8: 仮に何らかのものは悪びれるかデータ収集法だということはないとすればそれは悪びれる
事実9: もしある物は営利事業であるということはないとすると「それは悪びれるかそれはデータ収集法でないかあるいは両方ともだ」ということは本当である

仮説: 「あの金余りは悪びれない」ということは成り立つ
1. 事実4から、推論1: "「「超音速でないけれどからすみである」ということは嘘な」ものはある"が導かれる
2. 推論1と事実2から、仮説が導かれる

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