その地団駄はインディアン法であるしその上痛い
fact1: その地団駄が具有するとしたらそれは痛い fact2: 「この晩年は取れ難いけれど遺伝子関連発明であるということはない」ということは成り立たない fact3: あの特許独立は取れ難い fact4: その地団駄は欲しい fact5: 欲しいものは取れ難い fact6: 仮に「この晩年は取れ難いが遺伝子関連発明でない」ということは成り立たないとすればその地団駄は軟髄膜吻合である fact7: 軟髄膜吻合はインディアン法である fact8: もしその地団駄が欲しいとすると具有する
fact6 & fact2 -> int1: その地団駄は軟髄膜吻合である; fact7 -> int2: もしその地団駄は軟髄膜吻合であるとすればそれはインディアン法だ; int1 & int2 -> int3: その地団駄はインディアン法である; fact4 & fact8 -> int4: その地団駄は具有する; int4 & fact1 -> int5: その地団駄は痛い; int3 & int5 -> hypothesis;
fact6 & fact2 -> int1: {B}{b}; fact7 -> int2: {B}{b} -> {A}{b}; int1 & int2 -> int3: {A}{b}; fact4 & fact8 -> int4: {D}{b}; int4 & fact1 -> int5: {C}{b}; int3 & int5 -> hypothesis;
$facts$ = fact1: その地団駄が具有するとしたらそれは痛い fact2: 「この晩年は取れ難いけれど遺伝子関連発明であるということはない」ということは成り立たない fact3: あの特許独立は取れ難い fact4: その地団駄は欲しい fact5: 欲しいものは取れ難い fact6: 仮に「この晩年は取れ難いが遺伝子関連発明でない」ということは成り立たないとすればその地団駄は軟髄膜吻合である fact7: 軟髄膜吻合はインディアン法である fact8: もしその地団駄が欲しいとすると具有する ; $hypothesis$ = その地団駄はインディアン法であるしその上痛い ; $proof$ = 
fact6 & fact2 -> int1: その地団駄は軟髄膜吻合である; fact7 -> int2: もしその地団駄は軟髄膜吻合であるとすればそれはインディアン法だ; int1 & int2 -> int3: その地団駄はインディアン法である; fact4 & fact8 -> int4: その地団駄は具有する; int4 & fact1 -> int5: その地団駄は痛い; int3 & int5 -> hypothesis; __PROVED__
事実1: その地団駄が具有するとしたらそれは痛い
事実2: 「この晩年は取れ難いけれど遺伝子関連発明であるということはない」ということは成り立たない
事実3: あの特許独立は取れ難い
事実4: その地団駄は欲しい
事実5: 欲しいものは取れ難い
事実6: 仮に「この晩年は取れ難いが遺伝子関連発明でない」ということは成り立たないとすればその地団駄は軟髄膜吻合である
事実7: 軟髄膜吻合はインディアン法である
事実8: もしその地団駄が欲しいとすると具有する

仮説: その地団駄はインディアン法であるしその上痛い
1. 事実6と事実2から、推論1: "その地団駄は軟髄膜吻合である"が導かれる
2. 事実7から、推論2: "もしその地団駄は軟髄膜吻合であるとすればそれはインディアン法だ"が導かれる
3. 推論1と推論2から、推論3: "その地団駄はインディアン法である"が導かれる
4. 事実4と事実8から、推論4: "その地団駄は具有する"が導かれる
5. 推論4と事実1から、推論5: "その地団駄は痛い"が導かれる
6. 推論3と推論5から、仮説が導かれる

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