「「もし仮にシステム全体であるとすると「賃金等でないがＳＦＡＣである」ということは正しい」物はある」ということは成り立たない
fact1: 仮にあの事業特性がシステム全体であるならばそれは賃金等でしかもＳＦＡＣだ fact2: 仮にあの事業特性がシステム全体であるとしたら賃金等でないしさらにＳＦＡＣである fact3: 葡萄糖はシステム全体でない一方で木らしい
fact2 -> hypothesis;
仮にあの素人目が葡萄糖であるとすればシステム全体でないしその上それは木らしい
fact4 -> hypothesis;
$facts$ = fact1: 仮にあの事業特性がシステム全体であるならばそれは賃金等でしかもＳＦＡＣだ fact2: 仮にあの事業特性がシステム全体であるとしたら賃金等でないしさらにＳＦＡＣである fact3: 葡萄糖はシステム全体でない一方で木らしい ; $hypothesis$ = 「「もし仮にシステム全体であるとすると「賃金等でないがＳＦＡＣである」ということは正しい」物はある」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 仮にあの事業特性がシステム全体であるならばそれは賃金等でしかもＳＦＡＣだ
事実2: 仮にあの事業特性がシステム全体であるとしたら賃金等でないしさらにＳＦＡＣである
事実3: 葡萄糖はシステム全体でない一方で木らしい

仮説: 「「もし仮にシステム全体であるとすると「賃金等でないがＳＦＡＣである」ということは正しい」物はある」ということは成り立たない
1. 事実2から、仮説が否定される

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