もし仮にこのブルゴーニュ人は間柄でないとすれば「この手摺部分は供用するということはない」ということは正しい
fact1: このブルゴーニュ人は寒々しい fact2: この手摺部分がジベルニーでないが御報告致すならこのブルゴーニュ人はジベルニーでない fact3: この手摺部分は寒々しかないけど供用する fact4: もしなにかは供用しないなら寒々しいということはないししかも間柄でない fact5: このブルゴーニュ人が間柄でない一方で寒々しいならばこの手摺部分は供用するということはない fact6: この軟化は間柄でない fact7: このブルゴーニュ人は漲らない fact8: もしこの手摺部分が寒々しかないけどそれが間柄ならばこのブルゴーニュ人は供用する fact9: このブルゴーニュ人はインドメタシンだ fact10: もし仮にこのブルゴーニュ人がジベルニーだということはないならこのスポット作業用は供用するということはない一方で食べ応えである fact11: この手摺部分は間柄でない fact12: このブルゴーニュ人が供用しないとしたらこの手摺部分は間柄である
void -> assump1: 以下のように仮定する。このブルゴーニュ人は間柄でない; assump1 & fact1 -> int1: このブルゴーニュ人は間柄でない一方でそれは寒々しい; int1 & fact5 -> int2: この手摺部分は供用しない; [assump1] & int2 -> hypothesis;
このスポット作業用は寒々しいということはない
fact15 -> int3: もしこのスポット作業用が供用しないとすればそれは寒々しかなくて加えて間柄だということはない;
$facts$ = fact1: このブルゴーニュ人は寒々しい fact2: この手摺部分がジベルニーでないが御報告致すならこのブルゴーニュ人はジベルニーでない fact3: この手摺部分は寒々しかないけど供用する fact4: もしなにかは供用しないなら寒々しいということはないししかも間柄でない fact5: このブルゴーニュ人が間柄でない一方で寒々しいならばこの手摺部分は供用するということはない fact6: この軟化は間柄でない fact7: このブルゴーニュ人は漲らない fact8: もしこの手摺部分が寒々しかないけどそれが間柄ならばこのブルゴーニュ人は供用する fact9: このブルゴーニュ人はインドメタシンだ fact10: もし仮にこのブルゴーニュ人がジベルニーだということはないならこのスポット作業用は供用するということはない一方で食べ応えである fact11: この手摺部分は間柄でない fact12: このブルゴーニュ人が供用しないとしたらこの手摺部分は間柄である ; $hypothesis$ = もし仮にこのブルゴーニュ人は間柄でないとすれば「この手摺部分は供用するということはない」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。このブルゴーニュ人は間柄でない; assump1 & fact1 -> int1: このブルゴーニュ人は間柄でない一方でそれは寒々しい; int1 & fact5 -> int2: この手摺部分は供用しない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: このブルゴーニュ人は寒々しい
事実2: この手摺部分がジベルニーでないが御報告致すならこのブルゴーニュ人はジベルニーでない
事実3: この手摺部分は寒々しかないけど供用する
事実4: もしなにかは供用しないなら寒々しいということはないししかも間柄でない
事実5: このブルゴーニュ人が間柄でない一方で寒々しいならばこの手摺部分は供用するということはない
事実6: この軟化は間柄でない
事実7: このブルゴーニュ人は漲らない
事実8: もしこの手摺部分が寒々しかないけどそれが間柄ならばこのブルゴーニュ人は供用する
事実9: このブルゴーニュ人はインドメタシンだ
事実10: もし仮にこのブルゴーニュ人がジベルニーだということはないならこのスポット作業用は供用するということはない一方で食べ応えである
事実11: この手摺部分は間柄でない
事実12: このブルゴーニュ人が供用しないとしたらこの手摺部分は間柄である

仮説: もし仮にこのブルゴーニュ人は間柄でないとすれば「この手摺部分は供用するということはない」ということは正しい
1. 仮定1: 以下のように仮定する。このブルゴーニュ人は間柄でない
2. 仮定1と事実1から、推論1: "このブルゴーニュ人は間柄でない一方でそれは寒々しい"が導かれる
3. 推論1と事実5から、推論2: "この手摺部分は供用しない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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