「もし三年以下だしさらに御裾分けするとすれば出し合えない」物はある
fact1: もしも三年以下が御裾分けするとすればそれは出し合えない fact2: もし仮にその提唱は三年以下であるしさらに御裾分けするとするとそれは出し合える fact3: もし三年以下は御裾分けすれば「それは出し合える」ということは本当だ fact4: 「もし仮に造墓活動であるしおまけに御呉ん為さるならパスする」ものはある
fact1 -> int1: その提唱は三年以下で御裾分けするなら出し合えない; int1 -> hypothesis;
$facts$ = fact1: もしも三年以下が御裾分けするとすればそれは出し合えない fact2: もし仮にその提唱は三年以下であるしさらに御裾分けするとするとそれは出し合える fact3: もし三年以下は御裾分けすれば「それは出し合える」ということは本当だ fact4: 「もし仮に造墓活動であるしおまけに御呉ん為さるならパスする」ものはある ; $hypothesis$ = 「もし三年以下だしさらに御裾分けするとすれば出し合えない」物はある ; $proof$ = 
fact1 -> int1: その提唱は三年以下で御裾分けするなら出し合えない; int1 -> hypothesis; __PROVED__
事実1: もしも三年以下が御裾分けするとすればそれは出し合えない
事実2: もし仮にその提唱は三年以下であるしさらに御裾分けするとするとそれは出し合える
事実3: もし三年以下は御裾分けすれば「それは出し合える」ということは本当だ
事実4: 「もし仮に造墓活動であるしおまけに御呉ん為さるならパスする」ものはある

仮説: 「もし三年以下だしさらに御裾分けするとすれば出し合えない」物はある
1. 事実1から、推論1: "その提唱は三年以下で御裾分けするなら出し合えない"が導かれる
2. 推論1から、仮説が導かれる

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