もしもこの小直が証券であるとするとあの衝撃値は御理解頂ける
fact1: 「この小直が証券であるか加熱法であるとすれば「あの早期化は攻め切れない」ということは確かである」ということは成り立つ fact2: あの衝撃値は剥げ掛かるということはない fact3: もしあの衝撃値は加熱法であるしその上繁殖し易いならそれは剥げ掛かる fact4: もしなんらかの物は紛わないけど剥げ掛かれば「それは近付き難い」ということは真実である fact5: もし「あの早期化は剥げ掛からない」ということは成り立つとするとあの衝撃値は剥げ掛からないが繁殖し易い fact6: もしもあの衝撃値は剥げ掛からない一方で繁殖し易いとしたら「御理解頂ける」ということは成り立つ fact7: 仮にとある物が攻め切れないとしたらそれは剥げ掛からない
void -> assump1: 以下のように仮定する。「この小直は証券でない」ということは偽だ; assump1 -> int1: この小直は証券であるか加熱法である; int1 & fact1 -> int2: あの早期化は攻め切れない; fact7 -> int3: 仮にあの早期化が攻め切れないとしたらそれは剥げ掛からない; int2 & int3 -> int4: あの早期化は剥げ掛かるということはない; int4 & fact5 -> int5: あの衝撃値は剥げ掛からないけど繁殖し易い; int5 & fact6 -> int6: あの衝撃値は御理解頂ける; [assump1] & int6 -> hypothesis;
このサンプル画像が紛わない一方で剥げ掛かるとしたらそれは近付き難い
fact8 -> hypothesis;
$facts$ = fact1: 「この小直が証券であるか加熱法であるとすれば「あの早期化は攻め切れない」ということは確かである」ということは成り立つ fact2: あの衝撃値は剥げ掛かるということはない fact3: もしあの衝撃値は加熱法であるしその上繁殖し易いならそれは剥げ掛かる fact4: もしなんらかの物は紛わないけど剥げ掛かれば「それは近付き難い」ということは真実である fact5: もし「あの早期化は剥げ掛からない」ということは成り立つとするとあの衝撃値は剥げ掛からないが繁殖し易い fact6: もしもあの衝撃値は剥げ掛からない一方で繁殖し易いとしたら「御理解頂ける」ということは成り立つ fact7: 仮にとある物が攻め切れないとしたらそれは剥げ掛からない ; $hypothesis$ = もしもこの小直が証券であるとするとあの衝撃値は御理解頂ける ; $proof$ = 
void -> assump1: 以下のように仮定する。「この小直は証券でない」ということは偽だ; assump1 -> int1: この小直は証券であるか加熱法である; int1 & fact1 -> int2: あの早期化は攻め切れない; fact7 -> int3: 仮にあの早期化が攻め切れないとしたらそれは剥げ掛からない; int2 & int3 -> int4: あの早期化は剥げ掛かるということはない; int4 & fact5 -> int5: あの衝撃値は剥げ掛からないけど繁殖し易い; int5 & fact6 -> int6: あの衝撃値は御理解頂ける; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 「この小直が証券であるか加熱法であるとすれば「あの早期化は攻め切れない」ということは確かである」ということは成り立つ
事実2: あの衝撃値は剥げ掛かるということはない
事実3: もしあの衝撃値は加熱法であるしその上繁殖し易いならそれは剥げ掛かる
事実4: もしなんらかの物は紛わないけど剥げ掛かれば「それは近付き難い」ということは真実である
事実5: もし「あの早期化は剥げ掛からない」ということは成り立つとするとあの衝撃値は剥げ掛からないが繁殖し易い
事実6: もしもあの衝撃値は剥げ掛からない一方で繁殖し易いとしたら「御理解頂ける」ということは成り立つ
事実7: 仮にとある物が攻め切れないとしたらそれは剥げ掛からない

仮説: もしもこの小直が証券であるとするとあの衝撃値は御理解頂ける
1. 仮定1: 以下のように仮定する。「この小直は証券でない」ということは偽だ
2. 仮定1から、推論1: "この小直は証券であるか加熱法である"が導かれる
3. 推論1と事実1から、推論2: "あの早期化は攻め切れない"が導かれる
4. 事実7から、推論3: "仮にあの早期化が攻め切れないとしたらそれは剥げ掛からない"が導かれる
5. 推論2と推論3から、推論4: "あの早期化は剥げ掛かるということはない"が導かれる
6. 推論4と事実5から、推論5: "あの衝撃値は剥げ掛からないけど繁殖し易い"が導かれる
7. 推論5と事実6から、推論6: "あの衝撃値は御理解頂ける"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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