この物質的利益は走査しない
fact1: もし「あの先天性は被保護者である」ということは嘘だとすればこの物質的利益は走査するということはない fact2: なにかは被保護者でないならば「それが高ししその上それは自然エネルギーだ」ということは正しくない fact3: もし仮に「「険しいし擦り減る」ということは成り立たない」物はあるなら「あの先天性は被保護者でない」ということは正しい fact4: もし仮に「とあるものは思しないけれど走査する」ということは嘘であるとしたらそれは被保護者でない fact5: 「その艦隊運動は険しくてまた擦り減る」ということは成り立つということはない fact6: もし「何らかのものは思しということはないし被保護者でない」ということは正しいということはないとするとそれは走査する
fact5 -> int1: 「「険しいしおまけに擦り減る」ということは事実と異なる」ものはある; int1 & fact3 -> int2: あの先天性は被保護者でない; int2 & fact1 -> hypothesis;
この物質的利益は走査する
fact7 -> int3: 仮に「この物質的利益は思しということはないしそれは被保護者でない」ということは事実でないなら「それは走査しない」ということは間違いだ;
$facts$ = fact1: もし「あの先天性は被保護者である」ということは嘘だとすればこの物質的利益は走査するということはない fact2: なにかは被保護者でないならば「それが高ししその上それは自然エネルギーだ」ということは正しくない fact3: もし仮に「「険しいし擦り減る」ということは成り立たない」物はあるなら「あの先天性は被保護者でない」ということは正しい fact4: もし仮に「とあるものは思しないけれど走査する」ということは嘘であるとしたらそれは被保護者でない fact5: 「その艦隊運動は険しくてまた擦り減る」ということは成り立つということはない fact6: もし「何らかのものは思しということはないし被保護者でない」ということは正しいということはないとするとそれは走査する ; $hypothesis$ = この物質的利益は走査しない ; $proof$ = 
fact5 -> int1: 「「険しいしおまけに擦り減る」ということは事実と異なる」ものはある; int1 & fact3 -> int2: あの先天性は被保護者でない; int2 & fact1 -> hypothesis; __PROVED__
事実1: もし「あの先天性は被保護者である」ということは嘘だとすればこの物質的利益は走査するということはない
事実2: なにかは被保護者でないならば「それが高ししその上それは自然エネルギーだ」ということは正しくない
事実3: もし仮に「「険しいし擦り減る」ということは成り立たない」物はあるなら「あの先天性は被保護者でない」ということは正しい
事実4: もし仮に「とあるものは思しないけれど走査する」ということは嘘であるとしたらそれは被保護者でない
事実5: 「その艦隊運動は険しくてまた擦り減る」ということは成り立つということはない
事実6: もし「何らかのものは思しということはないし被保護者でない」ということは正しいということはないとするとそれは走査する

仮説: この物質的利益は走査しない
1. 事実5から、推論1: "「「険しいしおまけに擦り減る」ということは事実と異なる」ものはある"が導かれる
2. 推論1と事実3から、推論2: "あの先天性は被保護者でない"が導かれる
3. 推論2と事実1から、仮説が導かれる

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