このマジック用品は隣接しない
fact1: その組織構造は成り易い fact2: その組織構造が通報艦であるしその上それが成り易いならばこの飲食療法は御しない fact3: もしこの飲食療法が守り切れるしおまけに上がり易いとしたらこのマジック用品は隣接しない fact4: この飲食療法は参与するとすれば「それは守り切れる」ということは本当である fact5: もしもなにがしかのものは御するなら「ゲートボールであるかもしくはそれは成り易くないか両方である」ということは正しい fact6: 「成り易くない物は隣接するしかつ通報艦だ」ということは成り立つ fact7: もし仮にとあるものはゲートボールであるかまたは成り易くないかもしくはどちらもであるなら成り易くない fact8: この飲食療法が御しないとすればそれは奏すしまたゲートボールでない fact9: この飲食療法は奏す一方でゲートボールでないとすればそれは参与する fact10: この飲食療法は奏す fact11: この飲食療法は上がり易い fact12: その組織構造は通報艦だ
fact12 & fact1 -> int1: その組織構造は通報艦であるし成り易い; int1 & fact2 -> int2: この飲食療法は御しない; int2 & fact8 -> int3: この飲食療法は奏すがゲートボールでない; int3 & fact9 -> int4: 「この飲食療法は参与する」ということは真実である; int4 & fact4 -> int5: この飲食療法は守り切れる; int5 & fact11 -> int6: この飲食療法は守り切れるしそれに上がり易い; int6 & fact3 -> hypothesis;
このマジック用品は隣接する
fact13 -> int7: もしもこのマジック用品が成り易くないとすると隣接するししかも通報艦だ; fact14 -> int8: 仮にこのマジック用品がゲートボールであるかそれは成り易いということはないか両方ともであるなら成り易くない; fact15 -> int9: もし仮に「このマジック用品は御する」ということは成り立つとしたらそれはゲートボールであるかまたは成り易くない;
$facts$ = fact1: その組織構造は成り易い fact2: その組織構造が通報艦であるしその上それが成り易いならばこの飲食療法は御しない fact3: もしこの飲食療法が守り切れるしおまけに上がり易いとしたらこのマジック用品は隣接しない fact4: この飲食療法は参与するとすれば「それは守り切れる」ということは本当である fact5: もしもなにがしかのものは御するなら「ゲートボールであるかもしくはそれは成り易くないか両方である」ということは正しい fact6: 「成り易くない物は隣接するしかつ通報艦だ」ということは成り立つ fact7: もし仮にとあるものはゲートボールであるかまたは成り易くないかもしくはどちらもであるなら成り易くない fact8: この飲食療法が御しないとすればそれは奏すしまたゲートボールでない fact9: この飲食療法は奏す一方でゲートボールでないとすればそれは参与する fact10: この飲食療法は奏す fact11: この飲食療法は上がり易い fact12: その組織構造は通報艦だ ; $hypothesis$ = このマジック用品は隣接しない ; $proof$ = 
fact12 & fact1 -> int1: その組織構造は通報艦であるし成り易い; int1 & fact2 -> int2: この飲食療法は御しない; int2 & fact8 -> int3: この飲食療法は奏すがゲートボールでない; int3 & fact9 -> int4: 「この飲食療法は参与する」ということは真実である; int4 & fact4 -> int5: この飲食療法は守り切れる; int5 & fact11 -> int6: この飲食療法は守り切れるしそれに上がり易い; int6 & fact3 -> hypothesis; __PROVED__
事実1: その組織構造は成り易い
事実2: その組織構造が通報艦であるしその上それが成り易いならばこの飲食療法は御しない
事実3: もしこの飲食療法が守り切れるしおまけに上がり易いとしたらこのマジック用品は隣接しない
事実4: この飲食療法は参与するとすれば「それは守り切れる」ということは本当である
事実5: もしもなにがしかのものは御するなら「ゲートボールであるかもしくはそれは成り易くないか両方である」ということは正しい
事実6: 「成り易くない物は隣接するしかつ通報艦だ」ということは成り立つ
事実7: もし仮にとあるものはゲートボールであるかまたは成り易くないかもしくはどちらもであるなら成り易くない
事実8: この飲食療法が御しないとすればそれは奏すしまたゲートボールでない
事実9: この飲食療法は奏す一方でゲートボールでないとすればそれは参与する
事実10: この飲食療法は奏す
事実11: この飲食療法は上がり易い
事実12: その組織構造は通報艦だ

仮説: このマジック用品は隣接しない
1. 事実12と事実1から、推論1: "その組織構造は通報艦であるし成り易い"が導かれる
2. 推論1と事実2から、推論2: "この飲食療法は御しない"が導かれる
3. 推論2と事実8から、推論3: "この飲食療法は奏すがゲートボールでない"が導かれる
4. 推論3と事実9から、推論4: "「この飲食療法は参与する」ということは真実である"が導かれる
5. 推論4と事実4から、推論5: "この飲食療法は守り切れる"が導かれる
6. 推論5と事実11から、推論6: "この飲食療法は守り切れるしそれに上がり易い"が導かれる
7. 推論6と事実3から、仮説が導かれる

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