「もし揺るぎなくないなら文書提出命令でないかあるいは怒鳴り散らさない」ものはある
fact1: 「もし中間小説でないなら蹴上げるかあるいは預言しないかあるいはどちらもである」物はある fact2: あの基金保持が揺るぎなくないとすると文書提出命令であるかまたは怒鳴り散らすということはないか両方ともである fact3: 「「もしも揺るぎなくないとすれば文書提出命令でないかあるいは怒鳴り散らすかまたは両方ともである」物はある」ということは間違いであるということはない fact4: もしもあの基金保持が揺るぎなくないとすれば文書提出命令でないかあるいは怒鳴り散らさないか両方だ fact5: もし仮になんらかのものが咎めないならばそれは選択し易くないかまたは粘っこくない fact6: もし仮に「あの基金保持は広げ始めない」ということは成り立たないとしたらそれは揺るぎなくないかあるいは漏洩するということはないかまたは両方だ
fact4 -> hypothesis;
もし仮にそのＣＡイオンが咎めないならそれは選択し易くないか粘っこいということはないかあるいは両方ともだ
fact7 -> hypothesis;
$facts$ = fact1: 「もし中間小説でないなら蹴上げるかあるいは預言しないかあるいはどちらもである」物はある fact2: あの基金保持が揺るぎなくないとすると文書提出命令であるかまたは怒鳴り散らすということはないか両方ともである fact3: 「「もしも揺るぎなくないとすれば文書提出命令でないかあるいは怒鳴り散らすかまたは両方ともである」物はある」ということは間違いであるということはない fact4: もしもあの基金保持が揺るぎなくないとすれば文書提出命令でないかあるいは怒鳴り散らさないか両方だ fact5: もし仮になんらかのものが咎めないならばそれは選択し易くないかまたは粘っこくない fact6: もし仮に「あの基金保持は広げ始めない」ということは成り立たないとしたらそれは揺るぎなくないかあるいは漏洩するということはないかまたは両方だ ; $hypothesis$ = 「もし揺るぎなくないなら文書提出命令でないかあるいは怒鳴り散らさない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「もし中間小説でないなら蹴上げるかあるいは預言しないかあるいはどちらもである」物はある
事実2: あの基金保持が揺るぎなくないとすると文書提出命令であるかまたは怒鳴り散らすということはないか両方ともである
事実3: 「「もしも揺るぎなくないとすれば文書提出命令でないかあるいは怒鳴り散らすかまたは両方ともである」物はある」ということは間違いであるということはない
事実4: もしもあの基金保持が揺るぎなくないとすれば文書提出命令でないかあるいは怒鳴り散らさないか両方だ
事実5: もし仮になんらかのものが咎めないならばそれは選択し易くないかまたは粘っこくない
事実6: もし仮に「あの基金保持は広げ始めない」ということは成り立たないとしたらそれは揺るぎなくないかあるいは漏洩するということはないかまたは両方だ

仮説: 「もし揺るぎなくないなら文書提出命令でないかあるいは怒鳴り散らさない」ものはある
1. 事実4から、仮説が導かれる

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