この先学達は痛み易くない
fact1: もし仮にこのＣＶは勤めないなら「あのポジ像は勤めないし申し送らない」ということは誤りだ fact2: あのチャーター機は蹴らない fact3: なにがしかの物は蹴らないしタンネプだということはないとしたら勤めない fact4: このＣＶは蹴らない fact5: もしも「あのポジ像は勤めないししかもそれは申し送らない」ということは間違いであるならこの先学達は痛み易い fact6: このＣＶはタンネプでない fact7: あの同和問題は蹴らないしさらに確保しない
fact3 -> int1: 仮にこのＣＶは蹴らないしそれにタンネプでないならば「それは勤めない」ということは嘘でない; fact6 & fact4 -> int2: このＣＶは蹴らなくてしかもタンネプでない; int1 & int2 -> int3: 「このＣＶは勤めない」ということは本当である; int3 & fact1 -> int4: 「あのポジ像は勤めないし申し送らない」ということは誤っている; int4 & fact5 -> hypothesis;
$facts$ = fact1: もし仮にこのＣＶは勤めないなら「あのポジ像は勤めないし申し送らない」ということは誤りだ fact2: あのチャーター機は蹴らない fact3: なにがしかの物は蹴らないしタンネプだということはないとしたら勤めない fact4: このＣＶは蹴らない fact5: もしも「あのポジ像は勤めないししかもそれは申し送らない」ということは間違いであるならこの先学達は痛み易い fact6: このＣＶはタンネプでない fact7: あの同和問題は蹴らないしさらに確保しない ; $hypothesis$ = この先学達は痛み易くない ; $proof$ = 
fact3 -> int1: 仮にこのＣＶは蹴らないしそれにタンネプでないならば「それは勤めない」ということは嘘でない; fact6 & fact4 -> int2: このＣＶは蹴らなくてしかもタンネプでない; int1 & int2 -> int3: 「このＣＶは勤めない」ということは本当である; int3 & fact1 -> int4: 「あのポジ像は勤めないし申し送らない」ということは誤っている; int4 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にこのＣＶは勤めないなら「あのポジ像は勤めないし申し送らない」ということは誤りだ
事実2: あのチャーター機は蹴らない
事実3: なにがしかの物は蹴らないしタンネプだということはないとしたら勤めない
事実4: このＣＶは蹴らない
事実5: もしも「あのポジ像は勤めないししかもそれは申し送らない」ということは間違いであるならこの先学達は痛み易い
事実6: このＣＶはタンネプでない
事実7: あの同和問題は蹴らないしさらに確保しない

仮説: この先学達は痛み易くない
1. 事実3から、推論1: "仮にこのＣＶは蹴らないしそれにタンネプでないならば「それは勤めない」ということは嘘でない"が導かれる
2. 事実6と事実4から、推論2: "このＣＶは蹴らなくてしかもタンネプでない"が導かれる
3. 推論1と推論2から、推論3: "「このＣＶは勤めない」ということは本当である"が導かれる
4. 推論3と事実1から、推論4: "「あのポジ像は勤めないし申し送らない」ということは誤っている"が導かれる
5. 推論4と事実5から、仮説が否定される

よって、仮説が否定されました。