この労働関係は通過しない
fact1: もしもあの芽摘み・葉透かしが古めかしくないならその遺臣は古めかしいかあるいは目敏い fact2: 「このウエスタンはしんどいけれどそれは受け辛くない」ということは間違いだ fact3: 「もし「このウエスタンはしんどい一方で受け辛いということはない」ということは間違いであるならあの芽摘み・葉透かしは古めかしくない」ということは本当だ fact4: 仮にあの芽摘み・葉透かしが目敏いならこのウエスタンは古めかしい fact5: もし仮にその遺臣が目敏いならこの労働関係は通過する fact6: その遺臣が古めかしいならこの労働関係は通過する
fact3 & fact2 -> int1: あの芽摘み・葉透かしは古めかしいということはない; int1 & fact1 -> int2: その遺臣は古めかしいか目敏いかもしくは両方ともである; int2 & fact6 & fact5 -> hypothesis;
fact3 & fact2 -> int1: ¬{B}{b}; int1 & fact1 -> int2: ({B}{c} v {C}{c}); int2 & fact6 & fact5 -> hypothesis;
この労働関係は通過するということはない
$facts$ = fact1: もしもあの芽摘み・葉透かしが古めかしくないならその遺臣は古めかしいかあるいは目敏い fact2: 「このウエスタンはしんどいけれどそれは受け辛くない」ということは間違いだ fact3: 「もし「このウエスタンはしんどい一方で受け辛いということはない」ということは間違いであるならあの芽摘み・葉透かしは古めかしくない」ということは本当だ fact4: 仮にあの芽摘み・葉透かしが目敏いならこのウエスタンは古めかしい fact5: もし仮にその遺臣が目敏いならこの労働関係は通過する fact6: その遺臣が古めかしいならこの労働関係は通過する ; $hypothesis$ = この労働関係は通過しない ; $proof$ = 
fact3 & fact2 -> int1: あの芽摘み・葉透かしは古めかしいということはない; int1 & fact1 -> int2: その遺臣は古めかしいか目敏いかもしくは両方ともである; int2 & fact6 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもあの芽摘み・葉透かしが古めかしくないならその遺臣は古めかしいかあるいは目敏い
事実2: 「このウエスタンはしんどいけれどそれは受け辛くない」ということは間違いだ
事実3: 「もし「このウエスタンはしんどい一方で受け辛いということはない」ということは間違いであるならあの芽摘み・葉透かしは古めかしくない」ということは本当だ
事実4: 仮にあの芽摘み・葉透かしが目敏いならこのウエスタンは古めかしい
事実5: もし仮にその遺臣が目敏いならこの労働関係は通過する
事実6: その遺臣が古めかしいならこの労働関係は通過する

仮説: この労働関係は通過しない
1. 事実3と事実2から、推論1: "あの芽摘み・葉透かしは古めかしいということはない"が導かれる
2. 推論1と事実1から、推論2: "その遺臣は古めかしいか目敏いかもしくは両方ともである"が導かれる
3. 推論2と事実6と事実5から、仮説が否定される

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