「この変形労働制はＴＱでないけど海外旅行者だ」ということは成り立たない
fact1: 「海外旅行者だということはない」物はある fact2: この変形労働制は光触媒でないがそれは根強い fact3: もしも「この変形労働制は持ち帰らないかもしくはＴＱでないかもしくは両方ともだ」ということは事実と異なるならこの段落スタイルは海外旅行者でない fact4: もしも何らかのものが持ち帰らないとするとこの変形労働制はＴＱでないけれどそれは海外旅行者である fact5: その鰊山椒漬けは持ち帰らない fact6: 「報国だということはない」物はある fact7: ある物がＴＱだということはないとしたらその鰊山椒漬けは持ち帰らないがそれは海外旅行者だ
fact5 -> int1: なにがしかのものは持ち帰らない; int1 & fact4 -> hypothesis;
fact5 -> int1: (Ex): ¬{A}x; int1 & fact4 -> hypothesis;
この段落スタイルは海外旅行者でない
$facts$ = fact1: 「海外旅行者だということはない」物はある fact2: この変形労働制は光触媒でないがそれは根強い fact3: もしも「この変形労働制は持ち帰らないかもしくはＴＱでないかもしくは両方ともだ」ということは事実と異なるならこの段落スタイルは海外旅行者でない fact4: もしも何らかのものが持ち帰らないとするとこの変形労働制はＴＱでないけれどそれは海外旅行者である fact5: その鰊山椒漬けは持ち帰らない fact6: 「報国だということはない」物はある fact7: ある物がＴＱだということはないとしたらその鰊山椒漬けは持ち帰らないがそれは海外旅行者だ ; $hypothesis$ = 「この変形労働制はＴＱでないけど海外旅行者だ」ということは成り立たない ; $proof$ = 
fact5 -> int1: なにがしかのものは持ち帰らない; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: 「海外旅行者だということはない」物はある
事実2: この変形労働制は光触媒でないがそれは根強い
事実3: もしも「この変形労働制は持ち帰らないかもしくはＴＱでないかもしくは両方ともだ」ということは事実と異なるならこの段落スタイルは海外旅行者でない
事実4: もしも何らかのものが持ち帰らないとするとこの変形労働制はＴＱでないけれどそれは海外旅行者である
事実5: その鰊山椒漬けは持ち帰らない
事実6: 「報国だということはない」物はある
事実7: ある物がＴＱだということはないとしたらその鰊山椒漬けは持ち帰らないがそれは海外旅行者だ

仮説: 「この変形労働制はＴＱでないけど海外旅行者だ」ということは成り立たない
1. 事実5から、推論1: "なにがしかのものは持ち帰らない"が導かれる
2. 推論1と事実4から、仮説が否定される

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