「「もし仮に漏らすかまたは資本等でないかまたは両方だとしたら「驚愕しない」ということは成り立つ」物はある」ということは正しい
fact1: もし仮にこの事業分野が耐うか漏らさないかあるいはどちらもだとすればそれは欲張り過ぎない fact2: この事業分野が寄贈するかあるいは証券化しないかまたは両方だとすると驚愕しない fact3: 「「もし漏らすかあるいは資本等であるか両方であるならば驚愕しない」物はある」ということは事実だ fact4: この事業分野が漏らすなら驚愕しない fact5: 「もし資本等でないとしたら「驚愕しない」ということは成り立つ」物はある fact6: 仮にこの事業分野が漏らすかそれが資本等でないとすればそれは驚愕する fact7: もしとあるものが資本等であるかあるいはそれは利用され易くないかまたは両方であるならそれは二月以降でない fact8: もしもこの事業分野が漏らすかもしくは資本等であるとすると驚愕しない fact9: この事業分野が漏らすかもしくは資本等だということはないかまたはどちらもだとしたらそれは驚愕しない fact10: 「漏らすとしたら驚愕しない」物はある fact11: 「漏らすかあるいは資本等だということはないかもしくは両方だとすると驚愕する」ものはある fact12: もしもなにがしかの物は飽き足るかもしくは買い易いということはないならばそれは喋り捲らない
fact9 -> hypothesis;
「もしも飽き足るかもしくは買い易くないかあるいは両方ともであるならば「喋り捲らない」ということは正しい」物はある
fact13 -> int1: もし仮にあの御者台は飽き足るか買い易いということはないならばそれは喋り捲らない; int1 -> hypothesis;
$facts$ = fact1: もし仮にこの事業分野が耐うか漏らさないかあるいはどちらもだとすればそれは欲張り過ぎない fact2: この事業分野が寄贈するかあるいは証券化しないかまたは両方だとすると驚愕しない fact3: 「「もし漏らすかあるいは資本等であるか両方であるならば驚愕しない」物はある」ということは事実だ fact4: この事業分野が漏らすなら驚愕しない fact5: 「もし資本等でないとしたら「驚愕しない」ということは成り立つ」物はある fact6: 仮にこの事業分野が漏らすかそれが資本等でないとすればそれは驚愕する fact7: もしとあるものが資本等であるかあるいはそれは利用され易くないかまたは両方であるならそれは二月以降でない fact8: もしもこの事業分野が漏らすかもしくは資本等であるとすると驚愕しない fact9: この事業分野が漏らすかもしくは資本等だということはないかまたはどちらもだとしたらそれは驚愕しない fact10: 「漏らすとしたら驚愕しない」物はある fact11: 「漏らすかあるいは資本等だということはないかもしくは両方だとすると驚愕する」ものはある fact12: もしもなにがしかの物は飽き足るかもしくは買い易いということはないならばそれは喋り捲らない ; $hypothesis$ = 「「もし仮に漏らすかまたは資本等でないかまたは両方だとしたら「驚愕しない」ということは成り立つ」物はある」ということは正しい ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: もし仮にこの事業分野が耐うか漏らさないかあるいはどちらもだとすればそれは欲張り過ぎない
事実2: この事業分野が寄贈するかあるいは証券化しないかまたは両方だとすると驚愕しない
事実3: 「「もし漏らすかあるいは資本等であるか両方であるならば驚愕しない」物はある」ということは事実だ
事実4: この事業分野が漏らすなら驚愕しない
事実5: 「もし資本等でないとしたら「驚愕しない」ということは成り立つ」物はある
事実6: 仮にこの事業分野が漏らすかそれが資本等でないとすればそれは驚愕する
事実7: もしとあるものが資本等であるかあるいはそれは利用され易くないかまたは両方であるならそれは二月以降でない
事実8: もしもこの事業分野が漏らすかもしくは資本等であるとすると驚愕しない
事実9: この事業分野が漏らすかもしくは資本等だということはないかまたはどちらもだとしたらそれは驚愕しない
事実10: 「漏らすとしたら驚愕しない」物はある
事実11: 「漏らすかあるいは資本等だということはないかもしくは両方だとすると驚愕する」ものはある
事実12: もしもなにがしかの物は飽き足るかもしくは買い易いということはないならばそれは喋り捲らない

仮説: 「「もし仮に漏らすかまたは資本等でないかまたは両方だとしたら「驚愕しない」ということは成り立つ」物はある」ということは正しい
1. 事実9から、仮説が導かれる

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