その感傷が清々しくないしさらにそれは甘くない
fact1: もしもなんらかの物は配置するがしかし悍ましくないとするとそれは清々しくない fact2: その感傷は固有振動数だ fact3: その感傷は想像し易い fact4: 「その共感関係は配置する」ということは確かである fact5: 遠いし加えて根強くないものは占うということはない fact6: 「その感傷は配置する」ということは確かである fact7: もし仮に想像し易いものは固有振動数であるなら甘くない fact8: その感傷は悍ましいということはない
fact3 & fact2 -> int1: その感傷は想像し易いしそれは固有振動数だ; fact7 -> int2: もしもその感傷は想像し易いし固有振動数であるならそれは甘くない; int1 & int2 -> int3: その感傷は甘くない; fact1 -> int4: もし「その感傷は配置する一方で悍ましくない」ということは偽だということはないならばそれは清々しくない; fact8 & fact6 -> int5: その感傷は配置するけど悍ましかない; int4 & int5 -> int6: その感傷は清々しくない; int3 & int6 -> hypothesis;
もしもその感傷は遠いけれど根強くないとすればそれは占うということはない
fact9 -> hypothesis;
$facts$ = fact1: もしもなんらかの物は配置するがしかし悍ましくないとするとそれは清々しくない fact2: その感傷は固有振動数だ fact3: その感傷は想像し易い fact4: 「その共感関係は配置する」ということは確かである fact5: 遠いし加えて根強くないものは占うということはない fact6: 「その感傷は配置する」ということは確かである fact7: もし仮に想像し易いものは固有振動数であるなら甘くない fact8: その感傷は悍ましいということはない ; $hypothesis$ = その感傷が清々しくないしさらにそれは甘くない ; $proof$ = 
fact3 & fact2 -> int1: その感傷は想像し易いしそれは固有振動数だ; fact7 -> int2: もしもその感傷は想像し易いし固有振動数であるならそれは甘くない; int1 & int2 -> int3: その感傷は甘くない; fact1 -> int4: もし「その感傷は配置する一方で悍ましくない」ということは偽だということはないならばそれは清々しくない; fact8 & fact6 -> int5: その感傷は配置するけど悍ましかない; int4 & int5 -> int6: その感傷は清々しくない; int3 & int6 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は配置するがしかし悍ましくないとするとそれは清々しくない
事実2: その感傷は固有振動数だ
事実3: その感傷は想像し易い
事実4: 「その共感関係は配置する」ということは確かである
事実5: 遠いし加えて根強くないものは占うということはない
事実6: 「その感傷は配置する」ということは確かである
事実7: もし仮に想像し易いものは固有振動数であるなら甘くない
事実8: その感傷は悍ましいということはない

仮説: その感傷が清々しくないしさらにそれは甘くない
1. 事実3と事実2から、推論1: "その感傷は想像し易いしそれは固有振動数だ"が導かれる
2. 事実7から、推論2: "もしもその感傷は想像し易いし固有振動数であるならそれは甘くない"が導かれる
3. 推論1と推論2から、推論3: "その感傷は甘くない"が導かれる
4. 事実1から、推論4: "もし「その感傷は配置する一方で悍ましくない」ということは偽だということはないならばそれは清々しくない"が導かれる
5. 事実8と事実6から、推論5: "その感傷は配置するけど悍ましかない"が導かれる
6. 推論4と推論5から、推論6: "その感傷は清々しくない"が導かれる
7. 推論3と推論6から、仮説が導かれる

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