この各節点はハート・チャクラでないかもしくはタルムード研究でないか両方ともだ
fact1: 仮にあの三番地が被害状況であるならばこの各節点は被害状況だということはなくて更に雄々しかない fact2: 「そのウインドブレーカーは得られ難くて加えてつれない」ということは本当だ fact3: そのウインドブレーカーが得られ難いならばあの三番地は被害状況である fact4: そのウインドブレーカーはクリーンエネルギーである fact5: 仮に何らかのものは被害状況だということはないとしたら「それはハート・チャクラでないかまたはタルムード研究でないかまたは両方だ」ということは成り立つということはない fact6: そのウインドブレーカーは被害状況である
fact2 -> int1: そのウインドブレーカーは得られ難い; int1 & fact3 -> int2: あの三番地は被害状況だ; int2 & fact1 -> int3: この各節点は被害状況であるということはないししかも雄々しかない; int3 -> int4: この各節点は被害状況でない; fact5 -> int5: もし仮にこの各節点は被害状況でないなら「ハート・チャクラでないかもしくはそれはタルムード研究でない」ということは嘘である; int4 & int5 -> hypothesis;
$facts$ = fact1: 仮にあの三番地が被害状況であるならばこの各節点は被害状況だということはなくて更に雄々しかない fact2: 「そのウインドブレーカーは得られ難くて加えてつれない」ということは本当だ fact3: そのウインドブレーカーが得られ難いならばあの三番地は被害状況である fact4: そのウインドブレーカーはクリーンエネルギーである fact5: 仮に何らかのものは被害状況だということはないとしたら「それはハート・チャクラでないかまたはタルムード研究でないかまたは両方だ」ということは成り立つということはない fact6: そのウインドブレーカーは被害状況である ; $hypothesis$ = この各節点はハート・チャクラでないかもしくはタルムード研究でないか両方ともだ ; $proof$ = 
fact2 -> int1: そのウインドブレーカーは得られ難い; int1 & fact3 -> int2: あの三番地は被害状況だ; int2 & fact1 -> int3: この各節点は被害状況であるということはないししかも雄々しかない; int3 -> int4: この各節点は被害状況でない; fact5 -> int5: もし仮にこの各節点は被害状況でないなら「ハート・チャクラでないかもしくはそれはタルムード研究でない」ということは嘘である; int4 & int5 -> hypothesis; __DISPROVED__
事実1: 仮にあの三番地が被害状況であるならばこの各節点は被害状況だということはなくて更に雄々しかない
事実2: 「そのウインドブレーカーは得られ難くて加えてつれない」ということは本当だ
事実3: そのウインドブレーカーが得られ難いならばあの三番地は被害状況である
事実4: そのウインドブレーカーはクリーンエネルギーである
事実5: 仮に何らかのものは被害状況だということはないとしたら「それはハート・チャクラでないかまたはタルムード研究でないかまたは両方だ」ということは成り立つということはない
事実6: そのウインドブレーカーは被害状況である

仮説: この各節点はハート・チャクラでないかもしくはタルムード研究でないか両方ともだ
1. 事実2から、推論1: "そのウインドブレーカーは得られ難い"が導かれる
2. 推論1と事実3から、推論2: "あの三番地は被害状況だ"が導かれる
3. 推論2と事実1から、推論3: "この各節点は被害状況であるということはないししかも雄々しかない"が導かれる
4. 推論3から、推論4: "この各節点は被害状況でない"が導かれる
5. 事実5から、推論5: "もし仮にこの各節点は被害状況でないなら「ハート・チャクラでないかもしくはそれはタルムード研究でない」ということは嘘である"が導かれる
6. 推論4と推論5から、仮説が否定される

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