その宗派は印加するし刺繍する
fact1: あの純正律は伝え易い fact2: もし何かは伝え易くないならば「印加するし加えて刺繍する」ということは間違っている fact3: もしもこのスポーツサイクルが蒸発分布だということはないけれどそれが多いならあの特別口座は金柑でない fact4: 仮にあの純正律が伝え易いとすればあのスポーツサイクルは蒸発分布だということはない一方で多い fact5: 仮に何かは金柑でないならその直根は印加しない fact6: なにかは金柑だということはないとすると伝え易くない fact7: もし仮にその直根が印加しないとすればその宗派は印加するし刺繍する
fact4 & fact1 -> int1: このスポーツサイクルは蒸発分布でないけれど多い; int1 & fact3 -> int2: 「あの特別口座は金柑でない」ということは事実だ; int2 -> int3: 「金柑でない」ものはある; int3 & fact5 -> int4: その直根は印加しない; int4 & fact7 -> hypothesis;
「その宗派は印加するしさらに刺繍する」ということは誤っている
fact9 -> int5: 仮にその宗派は伝え易くないなら「それは印加するしさらにそれは刺繍する」ということは間違っている; fact8 -> int6: 仮にその宗派は金柑でないとしたらそれは伝え易くない;
$facts$ = fact1: あの純正律は伝え易い fact2: もし何かは伝え易くないならば「印加するし加えて刺繍する」ということは間違っている fact3: もしもこのスポーツサイクルが蒸発分布だということはないけれどそれが多いならあの特別口座は金柑でない fact4: 仮にあの純正律が伝え易いとすればあのスポーツサイクルは蒸発分布だということはない一方で多い fact5: 仮に何かは金柑でないならその直根は印加しない fact6: なにかは金柑だということはないとすると伝え易くない fact7: もし仮にその直根が印加しないとすればその宗派は印加するし刺繍する ; $hypothesis$ = その宗派は印加するし刺繍する ; $proof$ = 
fact4 & fact1 -> int1: このスポーツサイクルは蒸発分布でないけれど多い; int1 & fact3 -> int2: 「あの特別口座は金柑でない」ということは事実だ; int2 -> int3: 「金柑でない」ものはある; int3 & fact5 -> int4: その直根は印加しない; int4 & fact7 -> hypothesis; __PROVED__
事実1: あの純正律は伝え易い
事実2: もし何かは伝え易くないならば「印加するし加えて刺繍する」ということは間違っている
事実3: もしもこのスポーツサイクルが蒸発分布だということはないけれどそれが多いならあの特別口座は金柑でない
事実4: 仮にあの純正律が伝え易いとすればあのスポーツサイクルは蒸発分布だということはない一方で多い
事実5: 仮に何かは金柑でないならその直根は印加しない
事実6: なにかは金柑だということはないとすると伝え易くない
事実7: もし仮にその直根が印加しないとすればその宗派は印加するし刺繍する

仮説: その宗派は印加するし刺繍する
1. 事実4と事実1から、推論1: "このスポーツサイクルは蒸発分布でないけれど多い"が導かれる
2. 推論1と事実3から、推論2: "「あの特別口座は金柑でない」ということは事実だ"が導かれる
3. 推論2から、推論3: "「金柑でない」ものはある"が導かれる
4. 推論3と事実5から、推論4: "その直根は印加しない"が導かれる
5. 推論4と事実7から、仮説が導かれる

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