あの自動仕分けは誘わない
fact1: もしも「あの自動仕分けはタブ画面だがしかしそれは機関助士でない」ということは間違いであるならば誘うということはない fact2: 「あの自動仕分けはタブ画面だけど機関助士でない」ということは成り立たない
$facts$ = fact1: もしも「あの自動仕分けはタブ画面だがしかしそれは機関助士でない」ということは間違いであるならば誘うということはない fact2: 「あの自動仕分けはタブ画面だけど機関助士でない」ということは成り立たない ; $hypothesis$ = あの自動仕分けは誘わない ; $proof$ = 
事実1: もしも「あの自動仕分けはタブ画面だがしかしそれは機関助士でない」ということは間違いであるならば誘うということはない
事実2: 「あの自動仕分けはタブ画面だけど機関助士でない」ということは成り立たない

仮説: あの自動仕分けは誘わない