その夜番は職務でない
fact1: この悲恋物語はＢチャネルパケットでないしその上収納出来ない fact2: 仮にあの昇段が気遣うとすればその夜番は職務である fact3: もしこの悲恋物語が肥えるとすればあの昇段は気遣う fact4: もしもこの悲恋物語がＢチャネルパケットでないしそれが収納出来ないなら肥える
fact4 & fact1 -> int1: この悲恋物語は肥える; int1 & fact3 -> int2: あの昇段は気遣う; int2 & fact2 -> hypothesis;
fact4 & fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {A}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: この悲恋物語はＢチャネルパケットでないしその上収納出来ない fact2: 仮にあの昇段が気遣うとすればその夜番は職務である fact3: もしこの悲恋物語が肥えるとすればあの昇段は気遣う fact4: もしもこの悲恋物語がＢチャネルパケットでないしそれが収納出来ないなら肥える ; $hypothesis$ = その夜番は職務でない ; $proof$ = 
fact4 & fact1 -> int1: この悲恋物語は肥える; int1 & fact3 -> int2: あの昇段は気遣う; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: この悲恋物語はＢチャネルパケットでないしその上収納出来ない
事実2: 仮にあの昇段が気遣うとすればその夜番は職務である
事実3: もしこの悲恋物語が肥えるとすればあの昇段は気遣う
事実4: もしもこの悲恋物語がＢチャネルパケットでないしそれが収納出来ないなら肥える

仮説: その夜番は職務でない
1. 事実4と事実1から、推論1: "この悲恋物語は肥える"が導かれる
2. 推論1と事実3から、推論2: "あの昇段は気遣う"が導かれる
3. 推論2と事実2から、仮説が否定される

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