その寺子は頼り無い
fact1: その上は達する fact2: その上は頼り無い fact3: その寺子は晴れがましい fact4: その上が頼り無いならばあの寺子は脆弱化する fact5: 仮にその上が脆弱化するとすればあの寺子は分け合う fact6: もし仮にその上が分け合うとしたら頼り無い fact7: なんらかのものは分け合えば「頼り無いし脆弱化しない」ということは誤りである fact8: もし仮にその寺子が脆弱化すれば省エネルギー政策である fact9: この売り掛け金債権は分け合う fact10: その上は脆弱化する fact11: 仮にその上が脆弱化するとすればそれは頼り無い fact12: その寺子は懐妊する fact13: もしも「その上は集団単位である」ということは正しいならばその寺子は国運だ fact14: もしもその寺子が脆弱化するとすればその上は頼り無い fact15: もしその寺子が分け合うとするとその上は頼り無い fact16: もしその上が分け合うとすればその寺子は脆弱化する fact17: もしもその寺子が頼り無いなら脆弱化する fact18: この男権社会は脆弱化する fact19: もし仮にその上が頼り無いとするとその寺子は分け合う fact20: もしもその上が分け合うとするとその寺子は頼り無い fact21: もし仮に「その上は脆弱化する」ということは本当ならそれは分け合う
fact21 & fact10 -> int1: その上は分け合う; int1 & fact20 -> hypothesis;
その寺子は頼り無くない
fact22 -> int2: その寺子は分け合うとすれば「それは頼り無くてそれは脆弱化しない」ということは嘘だ;
$facts$ = fact1: その上は達する fact2: その上は頼り無い fact3: その寺子は晴れがましい fact4: その上が頼り無いならばあの寺子は脆弱化する fact5: 仮にその上が脆弱化するとすればあの寺子は分け合う fact6: もし仮にその上が分け合うとしたら頼り無い fact7: なんらかのものは分け合えば「頼り無いし脆弱化しない」ということは誤りである fact8: もし仮にその寺子が脆弱化すれば省エネルギー政策である fact9: この売り掛け金債権は分け合う fact10: その上は脆弱化する fact11: 仮にその上が脆弱化するとすればそれは頼り無い fact12: その寺子は懐妊する fact13: もしも「その上は集団単位である」ということは正しいならばその寺子は国運だ fact14: もしもその寺子が脆弱化するとすればその上は頼り無い fact15: もしその寺子が分け合うとするとその上は頼り無い fact16: もしその上が分け合うとすればその寺子は脆弱化する fact17: もしもその寺子が頼り無いなら脆弱化する fact18: この男権社会は脆弱化する fact19: もし仮にその上が頼り無いとするとその寺子は分け合う fact20: もしもその上が分け合うとするとその寺子は頼り無い fact21: もし仮に「その上は脆弱化する」ということは本当ならそれは分け合う ; $hypothesis$ = その寺子は頼り無い ; $proof$ = 
fact21 & fact10 -> int1: その上は分け合う; int1 & fact20 -> hypothesis; __PROVED__
事実1: その上は達する
事実2: その上は頼り無い
事実3: その寺子は晴れがましい
事実4: その上が頼り無いならばあの寺子は脆弱化する
事実5: 仮にその上が脆弱化するとすればあの寺子は分け合う
事実6: もし仮にその上が分け合うとしたら頼り無い
事実7: なんらかのものは分け合えば「頼り無いし脆弱化しない」ということは誤りである
事実8: もし仮にその寺子が脆弱化すれば省エネルギー政策である
事実9: この売り掛け金債権は分け合う
事実10: その上は脆弱化する
事実11: 仮にその上が脆弱化するとすればそれは頼り無い
事実12: その寺子は懐妊する
事実13: もしも「その上は集団単位である」ということは正しいならばその寺子は国運だ
事実14: もしもその寺子が脆弱化するとすればその上は頼り無い
事実15: もしその寺子が分け合うとするとその上は頼り無い
事実16: もしその上が分け合うとすればその寺子は脆弱化する
事実17: もしもその寺子が頼り無いなら脆弱化する
事実18: この男権社会は脆弱化する
事実19: もし仮にその上が頼り無いとするとその寺子は分け合う
事実20: もしもその上が分け合うとするとその寺子は頼り無い
事実21: もし仮に「その上は脆弱化する」ということは本当ならそれは分け合う

仮説: その寺子は頼り無い
1. 事実21と事実10から、推論1: "その上は分け合う"が導かれる
2. 推論1と事実20から、仮説が導かれる

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