その歌劇はおどろおどろしい
fact1: もし仮に何らかの物が割り切らないとすれば流し続ける fact2: もしもとあるものが感じ難いならばそれは吸収し易い fact3: もしもなにがしかのものは吸収し易くて流し続けるなら「その歌劇はおどろおどろしい」ということは事実である fact4: そのワンポイント・アドバイスはいじけるしさらに天使らしい fact5: もしそのワンポイント・アドバイスはいじけるししかも天使らしいならそれは割り切らない fact6: そのワンポイント・アドバイスは感じ難いし加えて保ち易い
fact5 & fact4 -> int1: そのワンポイント・アドバイスは割り切らない; fact1 -> int2: もしもそのワンポイント・アドバイスが割り切らないならばそれは流し続ける; int1 & int2 -> int3: そのワンポイント・アドバイスは流し続ける; fact2 -> int4: そのワンポイント・アドバイスが感じ難いならそれは吸収し易い; fact6 -> int5: そのワンポイント・アドバイスは感じ難い; int4 & int5 -> int6: そのワンポイント・アドバイスは吸収し易い; int3 & int6 -> int7: そのワンポイント・アドバイスは吸収し易いしさらに流し続ける; int7 -> int8: 「吸収し易くて加えて流し続ける」物はある; int8 & fact3 -> hypothesis;
$facts$ = fact1: もし仮に何らかの物が割り切らないとすれば流し続ける fact2: もしもとあるものが感じ難いならばそれは吸収し易い fact3: もしもなにがしかのものは吸収し易くて流し続けるなら「その歌劇はおどろおどろしい」ということは事実である fact4: そのワンポイント・アドバイスはいじけるしさらに天使らしい fact5: もしそのワンポイント・アドバイスはいじけるししかも天使らしいならそれは割り切らない fact6: そのワンポイント・アドバイスは感じ難いし加えて保ち易い ; $hypothesis$ = その歌劇はおどろおどろしい ; $proof$ = 
fact5 & fact4 -> int1: そのワンポイント・アドバイスは割り切らない; fact1 -> int2: もしもそのワンポイント・アドバイスが割り切らないならばそれは流し続ける; int1 & int2 -> int3: そのワンポイント・アドバイスは流し続ける; fact2 -> int4: そのワンポイント・アドバイスが感じ難いならそれは吸収し易い; fact6 -> int5: そのワンポイント・アドバイスは感じ難い; int4 & int5 -> int6: そのワンポイント・アドバイスは吸収し易い; int3 & int6 -> int7: そのワンポイント・アドバイスは吸収し易いしさらに流し続ける; int7 -> int8: 「吸収し易くて加えて流し続ける」物はある; int8 & fact3 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物が割り切らないとすれば流し続ける
事実2: もしもとあるものが感じ難いならばそれは吸収し易い
事実3: もしもなにがしかのものは吸収し易くて流し続けるなら「その歌劇はおどろおどろしい」ということは事実である
事実4: そのワンポイント・アドバイスはいじけるしさらに天使らしい
事実5: もしそのワンポイント・アドバイスはいじけるししかも天使らしいならそれは割り切らない
事実6: そのワンポイント・アドバイスは感じ難いし加えて保ち易い

仮説: その歌劇はおどろおどろしい
1. 事実5と事実4から、推論1: "そのワンポイント・アドバイスは割り切らない"が導かれる
2. 事実1から、推論2: "もしもそのワンポイント・アドバイスが割り切らないならばそれは流し続ける"が導かれる
3. 推論1と推論2から、推論3: "そのワンポイント・アドバイスは流し続ける"が導かれる
4. 事実2から、推論4: "そのワンポイント・アドバイスが感じ難いならそれは吸収し易い"が導かれる
5. 事実6から、推論5: "そのワンポイント・アドバイスは感じ難い"が導かれる
6. 推論4と推論5から、推論6: "そのワンポイント・アドバイスは吸収し易い"が導かれる
7. 推論3と推論6から、推論7: "そのワンポイント・アドバイスは吸収し易いしさらに流し続ける"が導かれる
8. 推論7から、推論8: "「吸収し易くて加えて流し続ける」物はある"が導かれる
9. 推論8と事実3から、仮説が導かれる

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