その結論は極小でない
fact1: その抜き書きは芽ぐむ fact2: その抜き書きがテークバックするとしたらそれは出席するかあるいは感じしないかまたは両方ともである fact3: 仮にその抜き書きがテークバックするならそれは出席しないかもしくはそれは感じするということはないかもしくは両方である fact4: その抜き書きはテークバックする fact5: 仮に「その抜き書きはテークバックする」ということは事実であるならばそれは出席しないかあるいは感じするかもしくは両方ともだ fact6: その抜き書きは出席しないかそれは感じするか両方ともである fact7: もしもあるものがテークバックしないならばそれは出席する fact8: もし仮にその抜き書きが出席しないか感じしないとしたらその結論は極小でない fact9: その抜き書きは出席するかあるいは感じしないかもしくは両方だ fact10: その抜き書きは御百姓でないかあるいは感じするということはないかまたは両方だ
fact3 & fact4 -> int1: その抜き書きは出席しないか感じしないかあるいはどちらもである; int1 & fact8 -> hypothesis;
この返済負担は出席する
fact11 -> int2: もし仮にこの返済負担がテークバックしないとすればそれは出席する;
$facts$ = fact1: その抜き書きは芽ぐむ fact2: その抜き書きがテークバックするとしたらそれは出席するかあるいは感じしないかまたは両方ともである fact3: 仮にその抜き書きがテークバックするならそれは出席しないかもしくはそれは感じするということはないかもしくは両方である fact4: その抜き書きはテークバックする fact5: 仮に「その抜き書きはテークバックする」ということは事実であるならばそれは出席しないかあるいは感じするかもしくは両方ともだ fact6: その抜き書きは出席しないかそれは感じするか両方ともである fact7: もしもあるものがテークバックしないならばそれは出席する fact8: もし仮にその抜き書きが出席しないか感じしないとしたらその結論は極小でない fact9: その抜き書きは出席するかあるいは感じしないかもしくは両方だ fact10: その抜き書きは御百姓でないかあるいは感じするということはないかまたは両方だ ; $hypothesis$ = その結論は極小でない ; $proof$ = 
fact3 & fact4 -> int1: その抜き書きは出席しないか感じしないかあるいはどちらもである; int1 & fact8 -> hypothesis; __PROVED__
事実1: その抜き書きは芽ぐむ
事実2: その抜き書きがテークバックするとしたらそれは出席するかあるいは感じしないかまたは両方ともである
事実3: 仮にその抜き書きがテークバックするならそれは出席しないかもしくはそれは感じするということはないかもしくは両方である
事実4: その抜き書きはテークバックする
事実5: 仮に「その抜き書きはテークバックする」ということは事実であるならばそれは出席しないかあるいは感じするかもしくは両方ともだ
事実6: その抜き書きは出席しないかそれは感じするか両方ともである
事実7: もしもあるものがテークバックしないならばそれは出席する
事実8: もし仮にその抜き書きが出席しないか感じしないとしたらその結論は極小でない
事実9: その抜き書きは出席するかあるいは感じしないかもしくは両方だ
事実10: その抜き書きは御百姓でないかあるいは感じするということはないかまたは両方だ

仮説: その結論は極小でない
1. 事実3と事実4から、推論1: "その抜き書きは出席しないか感じしないかあるいはどちらもである"が導かれる
2. 推論1と事実8から、仮説が導かれる

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