このヘッズは礼儀正しいけど感染し易くない
fact1: 「あの楽屋はビジネスデータであるし継承する」ということは誤りならば欠勤しない fact2: 「あの楽屋はビジネスデータであるしまた継承する」ということは成り立たない fact3: あの楽屋が欠勤しないならばこのヘッズは息まない fact4: もし仮にこのヘッズが久しいということはないとすれば礼儀正しくておまけに欠勤する fact5: もしもこのヘッズは息まないとしたら「「それは礼儀正しいけど感染し易くない」ということは成り立つ」ということは成り立たない fact6: もしもこのヘッズは息まないとすると「礼儀正しいしさらにそれは感染し易い」ということは嘘だ fact7: 「あの楽屋はビジネスデータだということはない」ということは成り立てばそれは欠勤しない
fact1 & fact2 -> int1: あの楽屋は欠勤しない; int1 & fact3 -> int2: このヘッズは息まない; int2 & fact5 -> hypothesis;
fact1 & fact2 -> int1: ¬{B}{a}; int1 & fact3 -> int2: ¬{A}{b}; int2 & fact5 -> hypothesis;
「このヘッズは礼儀正しいがしかしそれは感染し易くない」ということは確かである
$facts$ = fact1: 「あの楽屋はビジネスデータであるし継承する」ということは誤りならば欠勤しない fact2: 「あの楽屋はビジネスデータであるしまた継承する」ということは成り立たない fact3: あの楽屋が欠勤しないならばこのヘッズは息まない fact4: もし仮にこのヘッズが久しいということはないとすれば礼儀正しくておまけに欠勤する fact5: もしもこのヘッズは息まないとしたら「「それは礼儀正しいけど感染し易くない」ということは成り立つ」ということは成り立たない fact6: もしもこのヘッズは息まないとすると「礼儀正しいしさらにそれは感染し易い」ということは嘘だ fact7: 「あの楽屋はビジネスデータだということはない」ということは成り立てばそれは欠勤しない ; $hypothesis$ = このヘッズは礼儀正しいけど感染し易くない ; $proof$ = 
fact1 & fact2 -> int1: あの楽屋は欠勤しない; int1 & fact3 -> int2: このヘッズは息まない; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: 「あの楽屋はビジネスデータであるし継承する」ということは誤りならば欠勤しない
事実2: 「あの楽屋はビジネスデータであるしまた継承する」ということは成り立たない
事実3: あの楽屋が欠勤しないならばこのヘッズは息まない
事実4: もし仮にこのヘッズが久しいということはないとすれば礼儀正しくておまけに欠勤する
事実5: もしもこのヘッズは息まないとしたら「「それは礼儀正しいけど感染し易くない」ということは成り立つ」ということは成り立たない
事実6: もしもこのヘッズは息まないとすると「礼儀正しいしさらにそれは感染し易い」ということは嘘だ
事実7: 「あの楽屋はビジネスデータだということはない」ということは成り立てばそれは欠勤しない

仮説: このヘッズは礼儀正しいけど感染し易くない
1. 事実1と事実2から、推論1: "あの楽屋は欠勤しない"が導かれる
2. 推論1と事実3から、推論2: "このヘッズは息まない"が導かれる
3. 推論2と事実5から、仮説が否定される

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