この硝酸は物凄まじい
fact1: もしその記紀がＶ字形でないかそれが八門でないかまたは両方ともだとしたらこのＤＮ委員は八門でない fact2: 仮にこの硝酸が滲み出すかあるいは八門であるということはないかまたはどちらもであるとしたら八門でない fact3: もしもなにがしかの物は凝視し合わないとするとそれは折れ易い fact4: もしもなにがしかのものが八門でないとすればそれは凝視し合わない fact5: すべてのものはＶ字形でない fact6: 折れ易いものは物凄まじい fact7: この硝酸は滲み出すかあるいは八門でない
fact4 -> int1: もしもこの硝酸は八門でないならそれは凝視し合わない; fact7 & fact2 -> int2: この硝酸は八門でない; int1 & int2 -> int3: この硝酸は凝視し合わない; fact3 -> int4: この硝酸は凝視し合わないとしたら「それは折れ易い」ということは真実だ; int3 & int4 -> int5: この硝酸は折れ易い; fact6 -> int6: もし仮にこの硝酸が折れ易いとすると物凄まじい; int5 & int6 -> hypothesis;
「この硝酸は物凄まじくない」ということは事実である
fact9 -> int7: その銀世界はＶ字形でない; int7 -> int8: その銀世界はＶ字形だということはないか八門でないかどちらもである; int8 -> int9: すべての物はＶ字形でないかあるいは八門でないかあるいは両方である; int9 -> int10: その記紀はＶ字形でないかあるいはそれは八門でない; int10 & fact8 -> int11: このＤＮ委員は八門でない; int11 -> int12: 「八門でない」物はある;
$facts$ = fact1: もしその記紀がＶ字形でないかそれが八門でないかまたは両方ともだとしたらこのＤＮ委員は八門でない fact2: 仮にこの硝酸が滲み出すかあるいは八門であるということはないかまたはどちらもであるとしたら八門でない fact3: もしもなにがしかの物は凝視し合わないとするとそれは折れ易い fact4: もしもなにがしかのものが八門でないとすればそれは凝視し合わない fact5: すべてのものはＶ字形でない fact6: 折れ易いものは物凄まじい fact7: この硝酸は滲み出すかあるいは八門でない ; $hypothesis$ = この硝酸は物凄まじい ; $proof$ = 
fact4 -> int1: もしもこの硝酸は八門でないならそれは凝視し合わない; fact7 & fact2 -> int2: この硝酸は八門でない; int1 & int2 -> int3: この硝酸は凝視し合わない; fact3 -> int4: この硝酸は凝視し合わないとしたら「それは折れ易い」ということは真実だ; int3 & int4 -> int5: この硝酸は折れ易い; fact6 -> int6: もし仮にこの硝酸が折れ易いとすると物凄まじい; int5 & int6 -> hypothesis; __PROVED__
事実1: もしその記紀がＶ字形でないかそれが八門でないかまたは両方ともだとしたらこのＤＮ委員は八門でない
事実2: 仮にこの硝酸が滲み出すかあるいは八門であるということはないかまたはどちらもであるとしたら八門でない
事実3: もしもなにがしかの物は凝視し合わないとするとそれは折れ易い
事実4: もしもなにがしかのものが八門でないとすればそれは凝視し合わない
事実5: すべてのものはＶ字形でない
事実6: 折れ易いものは物凄まじい
事実7: この硝酸は滲み出すかあるいは八門でない

仮説: この硝酸は物凄まじい
1. 事実4から、推論1: "もしもこの硝酸は八門でないならそれは凝視し合わない"が導かれる
2. 事実7と事実2から、推論2: "この硝酸は八門でない"が導かれる
3. 推論1と推論2から、推論3: "この硝酸は凝視し合わない"が導かれる
4. 事実3から、推論4: "この硝酸は凝視し合わないとしたら「それは折れ易い」ということは真実だ"が導かれる
5. 推論3と推論4から、推論5: "この硝酸は折れ易い"が導かれる
6. 事実6から、推論6: "もし仮にこの硝酸が折れ易いとすると物凄まじい"が導かれる
7. 推論5と推論6から、仮説が導かれる

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