「あの粗熱は増殖促進であるけれど活用し易くない」ということは確かである
fact1: 「あの白砂糖は活用し易い」ということは嘘でない fact2: あの白砂糖は色っぽいし核問題である fact3: 仮にあの白砂糖が色っぽいとしたらあの粗熱は増殖促進であるけどそれは活用し易くない fact4: 仮になにがしかのものは色っぽいなら「それが増殖促進だしその上それは活用し易くない」ということは誤りだ
fact2 -> int1: 「あの白砂糖は色っぽい」ということは成り立つ; int1 & fact3 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
「あの粗熱は増殖促進だ一方で活用し易くない」ということは偽だ
fact5 -> int2: もし仮にあの粗熱は色っぽいとすれば「増殖促進であるしおまけに活用し易くない」ということは真実でない;
$facts$ = fact1: 「あの白砂糖は活用し易い」ということは嘘でない fact2: あの白砂糖は色っぽいし核問題である fact3: 仮にあの白砂糖が色っぽいとしたらあの粗熱は増殖促進であるけどそれは活用し易くない fact4: 仮になにがしかのものは色っぽいなら「それが増殖促進だしその上それは活用し易くない」ということは誤りだ ; $hypothesis$ = 「あの粗熱は増殖促進であるけれど活用し易くない」ということは確かである ; $proof$ = 
fact2 -> int1: 「あの白砂糖は色っぽい」ということは成り立つ; int1 & fact3 -> hypothesis; __PROVED__
事実1: 「あの白砂糖は活用し易い」ということは嘘でない
事実2: あの白砂糖は色っぽいし核問題である
事実3: 仮にあの白砂糖が色っぽいとしたらあの粗熱は増殖促進であるけどそれは活用し易くない
事実4: 仮になにがしかのものは色っぽいなら「それが増殖促進だしその上それは活用し易くない」ということは誤りだ

仮説: 「あの粗熱は増殖促進であるけれど活用し易くない」ということは確かである
1. 事実2から、推論1: "「あの白砂糖は色っぽい」ということは成り立つ"が導かれる
2. 推論1と事実3から、仮説が導かれる

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