そのエレガントさは決め難くない
fact1: もしもそのエレガントさが減封すれば折れ易いということはなくてかつ捕まえ易くない fact2: このアングロサクソン系は減封するということはない fact3: このアングロサクソン系は御教えしない fact4: もしもそのエレガントさが折れ易くないけどそれは捕まえ易いとしたら「それは決め難くない」ということは事実と異ならない fact5: そのエレガントさは御教えしない fact6: もしも折れ易いものが捕まえ易くないとすれば決め難いということはない fact7: もしこのアングロサクソン系が御教えしないとしたらそのエレガントさは減封する fact8: あの宣言文は御教えしない fact9: もし折れ易くない物が捕まえ易いとすればそれは決め難くない fact10: もし仮に何かは折れ易くないし加えて捕まえ易くないとすればそれは決め難いということはない fact11: もし仮にこのアングロサクソン系が折れ易くないならばそのエレガントさは御教えする fact12: もし仮にそのエレガントさは決め難くなくておまけに合成酒でないとすれば相前後しない fact13: もしなにがしかのものがときめかさなくてそれにそれはタブローだということはないならば「折れ易くない」ということは事実である fact14: もしそのエレガントさが折れ易いがしかし捕まえ易いということはないとすればそれは決め難くない
fact7 & fact3 -> int1: そのエレガントさは減封する; int1 & fact1 -> int2: そのエレガントさは折れ易くないしそれに捕まえ易くない; fact10 -> int3: もし仮にそのエレガントさが折れ易くないしさらに捕まえ易くないなら決め難くない; int2 & int3 -> hypothesis;
fact7 & fact3 -> int1: {B}{b}; int1 & fact1 -> int2: (¬{C}{b} & ¬{D}{b}); fact10 -> int3: (¬{C}{b} & ¬{D}{b}) -> ¬{E}{b}; int2 & int3 -> hypothesis;
もしもその全島民はときめかすということはないしタブローでないとしたらそれは折れ易いということはない
fact15 -> hypothesis;
$facts$ = fact1: もしもそのエレガントさが減封すれば折れ易いということはなくてかつ捕まえ易くない fact2: このアングロサクソン系は減封するということはない fact3: このアングロサクソン系は御教えしない fact4: もしもそのエレガントさが折れ易くないけどそれは捕まえ易いとしたら「それは決め難くない」ということは事実と異ならない fact5: そのエレガントさは御教えしない fact6: もしも折れ易いものが捕まえ易くないとすれば決め難いということはない fact7: もしこのアングロサクソン系が御教えしないとしたらそのエレガントさは減封する fact8: あの宣言文は御教えしない fact9: もし折れ易くない物が捕まえ易いとすればそれは決め難くない fact10: もし仮に何かは折れ易くないし加えて捕まえ易くないとすればそれは決め難いということはない fact11: もし仮にこのアングロサクソン系が折れ易くないならばそのエレガントさは御教えする fact12: もし仮にそのエレガントさは決め難くなくておまけに合成酒でないとすれば相前後しない fact13: もしなにがしかのものがときめかさなくてそれにそれはタブローだということはないならば「折れ易くない」ということは事実である fact14: もしそのエレガントさが折れ易いがしかし捕まえ易いということはないとすればそれは決め難くない ; $hypothesis$ = そのエレガントさは決め難くない ; $proof$ = 
fact7 & fact3 -> int1: そのエレガントさは減封する; int1 & fact1 -> int2: そのエレガントさは折れ易くないしそれに捕まえ易くない; fact10 -> int3: もし仮にそのエレガントさが折れ易くないしさらに捕まえ易くないなら決め難くない; int2 & int3 -> hypothesis; __PROVED__
事実1: もしもそのエレガントさが減封すれば折れ易いということはなくてかつ捕まえ易くない
事実2: このアングロサクソン系は減封するということはない
事実3: このアングロサクソン系は御教えしない
事実4: もしもそのエレガントさが折れ易くないけどそれは捕まえ易いとしたら「それは決め難くない」ということは事実と異ならない
事実5: そのエレガントさは御教えしない
事実6: もしも折れ易いものが捕まえ易くないとすれば決め難いということはない
事実7: もしこのアングロサクソン系が御教えしないとしたらそのエレガントさは減封する
事実8: あの宣言文は御教えしない
事実9: もし折れ易くない物が捕まえ易いとすればそれは決め難くない
事実10: もし仮に何かは折れ易くないし加えて捕まえ易くないとすればそれは決め難いということはない
事実11: もし仮にこのアングロサクソン系が折れ易くないならばそのエレガントさは御教えする
事実12: もし仮にそのエレガントさは決め難くなくておまけに合成酒でないとすれば相前後しない
事実13: もしなにがしかのものがときめかさなくてそれにそれはタブローだということはないならば「折れ易くない」ということは事実である
事実14: もしそのエレガントさが折れ易いがしかし捕まえ易いということはないとすればそれは決め難くない

仮説: そのエレガントさは決め難くない
1. 事実7と事実3から、推論1: "そのエレガントさは減封する"が導かれる
2. 推論1と事実1から、推論2: "そのエレガントさは折れ易くないしそれに捕まえ易くない"が導かれる
3. 事実10から、推論3: "もし仮にそのエレガントさが折れ易くないしさらに捕まえ易くないなら決め難くない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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