あの十五パーセント以上は使い難くてそれは荒くれ男だ
fact1: あの十五パーセント以上は張り巡らさない一方で移り易い fact2: 仮にあの十五パーセント以上は張り巡らさないが移り易いとすると共鳴し易くない fact3: 共鳴し易くないものは使い難くて荒くれ男だ
fact3 -> int1: もしも「あの十五パーセント以上は共鳴し易くない」ということは確かであるならそれは使い難くて荒くれ男だ; fact2 & fact1 -> int2: あの十五パーセント以上は共鳴し易くない; int1 & int2 -> hypothesis;
$facts$ = fact1: あの十五パーセント以上は張り巡らさない一方で移り易い fact2: 仮にあの十五パーセント以上は張り巡らさないが移り易いとすると共鳴し易くない fact3: 共鳴し易くないものは使い難くて荒くれ男だ ; $hypothesis$ = あの十五パーセント以上は使い難くてそれは荒くれ男だ ; $proof$ = 
fact3 -> int1: もしも「あの十五パーセント以上は共鳴し易くない」ということは確かであるならそれは使い難くて荒くれ男だ; fact2 & fact1 -> int2: あの十五パーセント以上は共鳴し易くない; int1 & int2 -> hypothesis; __PROVED__
事実1: あの十五パーセント以上は張り巡らさない一方で移り易い
事実2: 仮にあの十五パーセント以上は張り巡らさないが移り易いとすると共鳴し易くない
事実3: 共鳴し易くないものは使い難くて荒くれ男だ

仮説: あの十五パーセント以上は使い難くてそれは荒くれ男だ
1. 事実3から、推論1: "もしも「あの十五パーセント以上は共鳴し易くない」ということは確かであるならそれは使い難くて荒くれ男だ"が導かれる
2. 事実2と事実1から、推論2: "あの十五パーセント以上は共鳴し易くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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