この次節以降は手緩い
fact1: 「あの送りは進行する」ということは正しい fact2: もしもあの送りが重要書類であるとしたらあの暴飲暴食は認知的位置付けだ fact3: 「あの児童扶養手当て法は進行する」ということは正しい fact4: もし「何らかの物は進行するがしかし重要書類でない」ということは嘘であるとするとそれは手緩くない fact5: もし仮にあの送りは認知的位置付けでないとすると「この次節以降は進行するけれど重要書類だということはない」ということは間違っている fact6: この次節以降は移行し易いなら「手緩い」ということは確かだ fact7: もしあの送りが進行するならそれは重要書類だ fact8: 何らかのものは移行し易いということはないとしたら「五参照であるし認知的位置付けだ」ということは間違いだ fact9: この白人社会が移行し易いがしかし辛抱強くないとすればあの暴飲暴食は移行し易くない fact10: もし仮にあの暴飲暴食が認知的位置付けならばこの次節以降は移行し易い
fact7 & fact1 -> int1: あの送りは重要書類だ; int1 & fact2 -> int2: あの暴飲暴食は認知的位置付けである; int2 & fact10 -> int3: この次節以降は移行し易い; int3 & fact6 -> hypothesis;
この次節以降は手緩くない
fact11 -> int4: もしも「この次節以降は進行するけれど重要書類だということはない」ということは成り立たないならばそれは手緩くない; fact14 -> int5: もしもあの暴飲暴食は移行し易くないとすると「それは五参照で更に認知的位置付けである」ということは嘘である;
$facts$ = fact1: 「あの送りは進行する」ということは正しい fact2: もしもあの送りが重要書類であるとしたらあの暴飲暴食は認知的位置付けだ fact3: 「あの児童扶養手当て法は進行する」ということは正しい fact4: もし「何らかの物は進行するがしかし重要書類でない」ということは嘘であるとするとそれは手緩くない fact5: もし仮にあの送りは認知的位置付けでないとすると「この次節以降は進行するけれど重要書類だということはない」ということは間違っている fact6: この次節以降は移行し易いなら「手緩い」ということは確かだ fact7: もしあの送りが進行するならそれは重要書類だ fact8: 何らかのものは移行し易いということはないとしたら「五参照であるし認知的位置付けだ」ということは間違いだ fact9: この白人社会が移行し易いがしかし辛抱強くないとすればあの暴飲暴食は移行し易くない fact10: もし仮にあの暴飲暴食が認知的位置付けならばこの次節以降は移行し易い ; $hypothesis$ = この次節以降は手緩い ; $proof$ = 
fact7 & fact1 -> int1: あの送りは重要書類だ; int1 & fact2 -> int2: あの暴飲暴食は認知的位置付けである; int2 & fact10 -> int3: この次節以降は移行し易い; int3 & fact6 -> hypothesis; __PROVED__
事実1: 「あの送りは進行する」ということは正しい
事実2: もしもあの送りが重要書類であるとしたらあの暴飲暴食は認知的位置付けだ
事実3: 「あの児童扶養手当て法は進行する」ということは正しい
事実4: もし「何らかの物は進行するがしかし重要書類でない」ということは嘘であるとするとそれは手緩くない
事実5: もし仮にあの送りは認知的位置付けでないとすると「この次節以降は進行するけれど重要書類だということはない」ということは間違っている
事実6: この次節以降は移行し易いなら「手緩い」ということは確かだ
事実7: もしあの送りが進行するならそれは重要書類だ
事実8: 何らかのものは移行し易いということはないとしたら「五参照であるし認知的位置付けだ」ということは間違いだ
事実9: この白人社会が移行し易いがしかし辛抱強くないとすればあの暴飲暴食は移行し易くない
事実10: もし仮にあの暴飲暴食が認知的位置付けならばこの次節以降は移行し易い

仮説: この次節以降は手緩い
1. 事実7と事実1から、推論1: "あの送りは重要書類だ"が導かれる
2. 推論1と事実2から、推論2: "あの暴飲暴食は認知的位置付けである"が導かれる
3. 推論2と事実10から、推論3: "この次節以降は移行し易い"が導かれる
4. 推論3と事実6から、仮説が導かれる

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