あの官位叙任は猛反対しない
fact1: もしもあの官位叙任がファンダメンタリスト原則ならば電信員である fact2: あの律師は猛反対する fact3: あの官位叙任はチリソースだ fact4: あの貯蔵庫は猛反対する fact5: あの官位叙任は定款等である fact6: もしあの官位叙任はチリソースなら「猛反対する」ということは成り立つ
fact6 & fact3 -> hypothesis;
fact6 & fact3 -> hypothesis;
$facts$ = fact1: もしもあの官位叙任がファンダメンタリスト原則ならば電信員である fact2: あの律師は猛反対する fact3: あの官位叙任はチリソースだ fact4: あの貯蔵庫は猛反対する fact5: あの官位叙任は定款等である fact6: もしあの官位叙任はチリソースなら「猛反対する」ということは成り立つ ; $hypothesis$ = あの官位叙任は猛反対しない ; $proof$ = 
fact6 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもあの官位叙任がファンダメンタリスト原則ならば電信員である
事実2: あの律師は猛反対する
事実3: あの官位叙任はチリソースだ
事実4: あの貯蔵庫は猛反対する
事実5: あの官位叙任は定款等である
事実6: もしあの官位叙任はチリソースなら「猛反対する」ということは成り立つ

仮説: あの官位叙任は猛反対しない
1. 事実6と事実3から、仮説が否定される

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