あの中国人労働者は同視する
fact1: 「あの中国人労働者は正金である」ということは成り立つ fact2: もしも何かは差せるなら「それは正金であるかもしくはそれは同視しないかまたは両方だ」ということは嘘だ fact3: もしあの中国人労働者が不貞腐れるなら同視しない fact4: 「もし仮にこの日本型経営が不貞腐れるがしかし正金だということはないとするとあの中国人労働者は同視する」ということは確かだ fact5: もしもあの中国人労働者は正金であるとすると不貞腐れる
fact5 & fact1 -> int1: あの中国人労働者は不貞腐れる; int1 & fact3 -> hypothesis;
fact5 & fact1 -> int1: {B}{a}; int1 & fact3 -> hypothesis;
「あの中国人労働者は同視する」ということは正しい
$facts$ = fact1: 「あの中国人労働者は正金である」ということは成り立つ fact2: もしも何かは差せるなら「それは正金であるかもしくはそれは同視しないかまたは両方だ」ということは嘘だ fact3: もしあの中国人労働者が不貞腐れるなら同視しない fact4: 「もし仮にこの日本型経営が不貞腐れるがしかし正金だということはないとするとあの中国人労働者は同視する」ということは確かだ fact5: もしもあの中国人労働者は正金であるとすると不貞腐れる ; $hypothesis$ = あの中国人労働者は同視する ; $proof$ = 
fact5 & fact1 -> int1: あの中国人労働者は不貞腐れる; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 「あの中国人労働者は正金である」ということは成り立つ
事実2: もしも何かは差せるなら「それは正金であるかもしくはそれは同視しないかまたは両方だ」ということは嘘だ
事実3: もしあの中国人労働者が不貞腐れるなら同視しない
事実4: 「もし仮にこの日本型経営が不貞腐れるがしかし正金だということはないとするとあの中国人労働者は同視する」ということは確かだ
事実5: もしもあの中国人労働者は正金であるとすると不貞腐れる

仮説: あの中国人労働者は同視する
1. 事実5と事実1から、推論1: "あの中国人労働者は不貞腐れる"が導かれる
2. 推論1と事実3から、仮説が否定される

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