そのインディビジュアルは五部門でない
fact1: そのカーネーションは五部門でない fact2: そのインディビジュアルは脳症でない fact3: その左掌が脳症でないけど目理方結ならそのインディビジュアルは五部門であるということはない fact4: あの再配分は脳症でない fact5: そのインディビジュアルが五部門であるし脳症だとすると「その左掌は目理方結でない」ということは本当だ fact6: その左掌は脳症でないけどそれは目理方結だ fact7: その左掌は五部門でない一方で目理方結だ fact8: そのインディビジュアルは難しかないけれどそれは目理方結である fact9: その左掌は五部門でない fact10: もしもそのインディビジュアルが五部門でないけれど脳症だとしたらその左掌は目理方結でない fact11: そのワイドは脳症でない fact12: その左掌は目理方結である
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
$facts$ = fact1: そのカーネーションは五部門でない fact2: そのインディビジュアルは脳症でない fact3: その左掌が脳症でないけど目理方結ならそのインディビジュアルは五部門であるということはない fact4: あの再配分は脳症でない fact5: そのインディビジュアルが五部門であるし脳症だとすると「その左掌は目理方結でない」ということは本当だ fact6: その左掌は脳症でないけどそれは目理方結だ fact7: その左掌は五部門でない一方で目理方結だ fact8: そのインディビジュアルは難しかないけれどそれは目理方結である fact9: その左掌は五部門でない fact10: もしもそのインディビジュアルが五部門でないけれど脳症だとしたらその左掌は目理方結でない fact11: そのワイドは脳症でない fact12: その左掌は目理方結である ; $hypothesis$ = そのインディビジュアルは五部門でない ; $proof$ = 
fact3 & fact6 -> hypothesis; __PROVED__
事実1: そのカーネーションは五部門でない
事実2: そのインディビジュアルは脳症でない
事実3: その左掌が脳症でないけど目理方結ならそのインディビジュアルは五部門であるということはない
事実4: あの再配分は脳症でない
事実5: そのインディビジュアルが五部門であるし脳症だとすると「その左掌は目理方結でない」ということは本当だ
事実6: その左掌は脳症でないけどそれは目理方結だ
事実7: その左掌は五部門でない一方で目理方結だ
事実8: そのインディビジュアルは難しかないけれどそれは目理方結である
事実9: その左掌は五部門でない
事実10: もしもそのインディビジュアルが五部門でないけれど脳症だとしたらその左掌は目理方結でない
事実11: そのワイドは脳症でない
事実12: その左掌は目理方結である

仮説: そのインディビジュアルは五部門でない
1. 事実3と事実6から、仮説が導かれる

よって、仮説が証明されました。