あの角回はオリーブ油であるしそれにリバイバルする
fact1: あの角回は捗々しい fact2: 「なんらかのものは人事担当者である」ということは嘘でないとしたら「リバイバルする」ということは成り立つ fact3: 仮になんらかのものが不注意でないが捗々しいならそれはオリーブ油である fact4: あの角回は不注意でない fact5: もし捗々しくないものが人事担当者であるならその法網は不注意でない fact6: 仮にあの角回が出血し易いならそれは人事担当者である fact7: あの角回は合意出来ないがしかし用い易い fact8: あの角回は出血し易い fact9: もしあのリスボン宣言が赤黒くないけれどそれが平均船型だとすればそれは捗々しい
fact4 & fact1 -> int1: あの角回は不注意でない一方でそれは捗々しい; fact3 -> int2: もしもあの角回は不注意でないけれど捗々しいとするとそれはオリーブ油である; int1 & int2 -> int3: あの角回はオリーブ油だ; fact2 -> int4: 仮にあの角回は人事担当者であるならばリバイバルする; fact6 & fact8 -> int5: 「あの角回は人事担当者だ」ということは本当である; int4 & int5 -> int6: 「あの角回はリバイバルする」ということは事実だ; int3 & int6 -> hypothesis;
fact4 & fact1 -> int1: (¬{A}{a} & {B}{a}); fact3 -> int2: (¬{A}{a} & {B}{a}) -> {C}{a}; int1 & int2 -> int3: {C}{a}; fact2 -> int4: {E}{a} -> {D}{a}; fact6 & fact8 -> int5: {E}{a}; int4 & int5 -> int6: {D}{a}; int3 & int6 -> hypothesis;
「あの角回はオリーブ油であるしおまけにリバイバルする」ということは嘘だ
$facts$ = fact1: あの角回は捗々しい fact2: 「なんらかのものは人事担当者である」ということは嘘でないとしたら「リバイバルする」ということは成り立つ fact3: 仮になんらかのものが不注意でないが捗々しいならそれはオリーブ油である fact4: あの角回は不注意でない fact5: もし捗々しくないものが人事担当者であるならその法網は不注意でない fact6: 仮にあの角回が出血し易いならそれは人事担当者である fact7: あの角回は合意出来ないがしかし用い易い fact8: あの角回は出血し易い fact9: もしあのリスボン宣言が赤黒くないけれどそれが平均船型だとすればそれは捗々しい ; $hypothesis$ = あの角回はオリーブ油であるしそれにリバイバルする ; $proof$ = 
fact4 & fact1 -> int1: あの角回は不注意でない一方でそれは捗々しい; fact3 -> int2: もしもあの角回は不注意でないけれど捗々しいとするとそれはオリーブ油である; int1 & int2 -> int3: あの角回はオリーブ油だ; fact2 -> int4: 仮にあの角回は人事担当者であるならばリバイバルする; fact6 & fact8 -> int5: 「あの角回は人事担当者だ」ということは本当である; int4 & int5 -> int6: 「あの角回はリバイバルする」ということは事実だ; int3 & int6 -> hypothesis; __PROVED__
事実1: あの角回は捗々しい
事実2: 「なんらかのものは人事担当者である」ということは嘘でないとしたら「リバイバルする」ということは成り立つ
事実3: 仮になんらかのものが不注意でないが捗々しいならそれはオリーブ油である
事実4: あの角回は不注意でない
事実5: もし捗々しくないものが人事担当者であるならその法網は不注意でない
事実6: 仮にあの角回が出血し易いならそれは人事担当者である
事実7: あの角回は合意出来ないがしかし用い易い
事実8: あの角回は出血し易い
事実9: もしあのリスボン宣言が赤黒くないけれどそれが平均船型だとすればそれは捗々しい

仮説: あの角回はオリーブ油であるしそれにリバイバルする
1. 事実4と事実1から、推論1: "あの角回は不注意でない一方でそれは捗々しい"が導かれる
2. 事実3から、推論2: "もしもあの角回は不注意でないけれど捗々しいとするとそれはオリーブ油である"が導かれる
3. 推論1と推論2から、推論3: "あの角回はオリーブ油だ"が導かれる
4. 事実2から、推論4: "仮にあの角回は人事担当者であるならばリバイバルする"が導かれる
5. 事実6と事実8から、推論5: "「あの角回は人事担当者だ」ということは本当である"が導かれる
6. 推論4と推論5から、推論6: "「あの角回はリバイバルする」ということは事実だ"が導かれる
7. 推論3と推論6から、仮説が導かれる

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