そのヘディングはギルだ
fact1: 仮になにかは持ち易いならば「それはギルだ」ということは成り立つ fact2: もし仮に銀製があるならそのヘディングは展望する fact3: もしもその小便が定めるがしかしギルでないとすればあのヘディングはギルでない fact4: そのヘディングは展望する fact5: もし山登りがあるならそのヘディングは持ち易い fact6: 「「報わないし展望する」ということは偽である」物はある fact7: 「「報わないし加えて展望する」ということは成り立つということはない」ものがあるならそのヘディングは持ち易い
fact6 & fact7 -> int1: そのヘディングは持ち易い; fact1 -> int2: もし仮にそのヘディングが持ち易いとしたらそれはギルだ; int1 & int2 -> hypothesis;
fact6 & fact7 -> int1: {A}{a}; fact1 -> int2: {A}{a} -> {B}{a}; int1 & int2 -> hypothesis;
そのヘディングはギルでない
$facts$ = fact1: 仮になにかは持ち易いならば「それはギルだ」ということは成り立つ fact2: もし仮に銀製があるならそのヘディングは展望する fact3: もしもその小便が定めるがしかしギルでないとすればあのヘディングはギルでない fact4: そのヘディングは展望する fact5: もし山登りがあるならそのヘディングは持ち易い fact6: 「「報わないし展望する」ということは偽である」物はある fact7: 「「報わないし加えて展望する」ということは成り立つということはない」ものがあるならそのヘディングは持ち易い ; $hypothesis$ = そのヘディングはギルだ ; $proof$ = 
fact6 & fact7 -> int1: そのヘディングは持ち易い; fact1 -> int2: もし仮にそのヘディングが持ち易いとしたらそれはギルだ; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮になにかは持ち易いならば「それはギルだ」ということは成り立つ
事実2: もし仮に銀製があるならそのヘディングは展望する
事実3: もしもその小便が定めるがしかしギルでないとすればあのヘディングはギルでない
事実4: そのヘディングは展望する
事実5: もし山登りがあるならそのヘディングは持ち易い
事実6: 「「報わないし展望する」ということは偽である」物はある
事実7: 「「報わないし加えて展望する」ということは成り立つということはない」ものがあるならそのヘディングは持ち易い

仮説: そのヘディングはギルだ
1. 事実6と事実7から、推論1: "そのヘディングは持ち易い"が導かれる
2. 事実1から、推論2: "もし仮にそのヘディングが持ち易いとしたらそれはギルだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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