あの写生は食べ易くない
fact1: このシェアは引き起こし易くない fact2: もしあの写生が度し難くないとすればあのシェアは度し難くない fact3: 「あの写生は度し難いし加えて託つ」ということは正しい fact4: 仮にあるものは名寄せする一方で御固くないとすれば凍頂ウーロン茶でない fact5: もしもあるものが託たないならばそれは食べ易いしおまけに度し難い fact6: もしもこのシェアが引き起こし易くないならあの写生は引き起こし易くない fact7: もし度し難いものが引き起こし易くないとしたら食べ易くない
fact3 -> int1: 「あの写生は度し難い」ということは事実である; fact1 & fact6 -> int2: あの写生は引き起こし易くない; int1 & int2 -> int3: 「あの写生は度し難いもので引き起こし易くない」ということは成り立つ; fact7 -> int4: もしもあの写生が度し難いけれど引き起こし易くないとすればそれは食べ易くない; int3 & int4 -> hypothesis;
あの写生は食べ易い
fact8 -> int5: あの写生が託たないとしたらそれは食べ易くてそれは度し難い;
$facts$ = fact1: このシェアは引き起こし易くない fact2: もしあの写生が度し難くないとすればあのシェアは度し難くない fact3: 「あの写生は度し難いし加えて託つ」ということは正しい fact4: 仮にあるものは名寄せする一方で御固くないとすれば凍頂ウーロン茶でない fact5: もしもあるものが託たないならばそれは食べ易いしおまけに度し難い fact6: もしもこのシェアが引き起こし易くないならあの写生は引き起こし易くない fact7: もし度し難いものが引き起こし易くないとしたら食べ易くない ; $hypothesis$ = あの写生は食べ易くない ; $proof$ = 
fact3 -> int1: 「あの写生は度し難い」ということは事実である; fact1 & fact6 -> int2: あの写生は引き起こし易くない; int1 & int2 -> int3: 「あの写生は度し難いもので引き起こし易くない」ということは成り立つ; fact7 -> int4: もしもあの写生が度し難いけれど引き起こし易くないとすればそれは食べ易くない; int3 & int4 -> hypothesis; __PROVED__
事実1: このシェアは引き起こし易くない
事実2: もしあの写生が度し難くないとすればあのシェアは度し難くない
事実3: 「あの写生は度し難いし加えて託つ」ということは正しい
事実4: 仮にあるものは名寄せする一方で御固くないとすれば凍頂ウーロン茶でない
事実5: もしもあるものが託たないならばそれは食べ易いしおまけに度し難い
事実6: もしもこのシェアが引き起こし易くないならあの写生は引き起こし易くない
事実7: もし度し難いものが引き起こし易くないとしたら食べ易くない

仮説: あの写生は食べ易くない
1. 事実3から、推論1: "「あの写生は度し難い」ということは事実である"が導かれる
2. 事実1と事実6から、推論2: "あの写生は引き起こし易くない"が導かれる
3. 推論1と推論2から、推論3: "「あの写生は度し難いもので引き起こし易くない」ということは成り立つ"が導かれる
4. 事実7から、推論4: "もしもあの写生が度し難いけれど引き起こし易くないとすればそれは食べ易くない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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