「仮に過大評価するとすれば其れらしいということはない」ものはある
fact1: 「もし仮に過大評価するなら其れらしい」物はある fact2: なにかは門流ならばそれは伴い易くない fact3: もしもあの御用が過大評価するとしたら其れらしくない fact4: 何かは太閤検地であるとすれば住居しない fact5: 「仮に射術であるとすればジャンプする」ものはある fact6: もしあの御用が過大評価するなら其れらしい fact7: もしもこの法廷審理はリファレンスであるとしたら其れらしくない
fact3 -> hypothesis;
「もし太閤検地ならば住居しない」物はある
fact8 -> int1: 「その箕は太閤検地である」ということは本当なら住居しない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に過大評価するなら其れらしい」物はある fact2: なにかは門流ならばそれは伴い易くない fact3: もしもあの御用が過大評価するとしたら其れらしくない fact4: 何かは太閤検地であるとすれば住居しない fact5: 「仮に射術であるとすればジャンプする」ものはある fact6: もしあの御用が過大評価するなら其れらしい fact7: もしもこの法廷審理はリファレンスであるとしたら其れらしくない ; $hypothesis$ = 「仮に過大評価するとすれば其れらしいということはない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もし仮に過大評価するなら其れらしい」物はある
事実2: なにかは門流ならばそれは伴い易くない
事実3: もしもあの御用が過大評価するとしたら其れらしくない
事実4: 何かは太閤検地であるとすれば住居しない
事実5: 「仮に射術であるとすればジャンプする」ものはある
事実6: もしあの御用が過大評価するなら其れらしい
事実7: もしもこの法廷審理はリファレンスであるとしたら其れらしくない

仮説: 「仮に過大評価するとすれば其れらしいということはない」ものはある
1. 事実3から、仮説が導かれる

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