「もしその社会監査書が間違い易いとしたらその弗素ゴムは百姓らしい」ということは間違っていない
fact1: その社会監査書が未成年者であるならばそのパブロ・ヴァレンシアは間違い易い fact2: その弗素ゴムが間違い易いならばその社会監査書は百姓らしい fact3: その微塵切り少々は百姓らしい fact4: その社会監査書は百姓らしい fact5: 「もしもあの仲買組が未成年者ならあの碧は間違い易い」ということは確かである fact6: もしそのパブロ・ヴァレンシアが未成年者だとしたらその弗素ゴムは百姓らしい fact7: その弗素ゴムは間違い易い fact8: その渋滞中は未成年者である fact9: そのパブロ・ヴァレンシアは飯器だ fact10: その弗素ゴムは赦免する fact11: もし仮にその社会監査書が間違い易いとすればそのパブロ・ヴァレンシアは未成年者である fact12: そのパブロ・ヴァレンシアが間違い易いとすればその社会監査書は未成年者だ fact13: その弗素ゴムは未成年者である fact14: もし仮にその社会監査書が百姓らしいならその弗素ゴムは間違い易い fact15: その弗素ゴムは毎回である fact16: その連結完全支配関係は未成年者である fact17: あの措置費が百姓らしいとすればその弗素ゴムは間違い易い fact18: そのパブロ・ヴァレンシアは間違い易い
void -> assump1: 以下のように仮定する。その社会監査書は間違い易い; fact11 & assump1 -> int1: そのパブロ・ヴァレンシアは未成年者だ; int1 & fact6 -> int2: その弗素ゴムは百姓らしい; [assump1] & int2 -> hypothesis;
$facts$ = fact1: その社会監査書が未成年者であるならばそのパブロ・ヴァレンシアは間違い易い fact2: その弗素ゴムが間違い易いならばその社会監査書は百姓らしい fact3: その微塵切り少々は百姓らしい fact4: その社会監査書は百姓らしい fact5: 「もしもあの仲買組が未成年者ならあの碧は間違い易い」ということは確かである fact6: もしそのパブロ・ヴァレンシアが未成年者だとしたらその弗素ゴムは百姓らしい fact7: その弗素ゴムは間違い易い fact8: その渋滞中は未成年者である fact9: そのパブロ・ヴァレンシアは飯器だ fact10: その弗素ゴムは赦免する fact11: もし仮にその社会監査書が間違い易いとすればそのパブロ・ヴァレンシアは未成年者である fact12: そのパブロ・ヴァレンシアが間違い易いとすればその社会監査書は未成年者だ fact13: その弗素ゴムは未成年者である fact14: もし仮にその社会監査書が百姓らしいならその弗素ゴムは間違い易い fact15: その弗素ゴムは毎回である fact16: その連結完全支配関係は未成年者である fact17: あの措置費が百姓らしいとすればその弗素ゴムは間違い易い fact18: そのパブロ・ヴァレンシアは間違い易い ; $hypothesis$ = 「もしその社会監査書が間違い易いとしたらその弗素ゴムは百姓らしい」ということは間違っていない ; $proof$ = 
void -> assump1: 以下のように仮定する。その社会監査書は間違い易い; fact11 & assump1 -> int1: そのパブロ・ヴァレンシアは未成年者だ; int1 & fact6 -> int2: その弗素ゴムは百姓らしい; [assump1] & int2 -> hypothesis; __PROVED__
事実1: その社会監査書が未成年者であるならばそのパブロ・ヴァレンシアは間違い易い
事実2: その弗素ゴムが間違い易いならばその社会監査書は百姓らしい
事実3: その微塵切り少々は百姓らしい
事実4: その社会監査書は百姓らしい
事実5: 「もしもあの仲買組が未成年者ならあの碧は間違い易い」ということは確かである
事実6: もしそのパブロ・ヴァレンシアが未成年者だとしたらその弗素ゴムは百姓らしい
事実7: その弗素ゴムは間違い易い
事実8: その渋滞中は未成年者である
事実9: そのパブロ・ヴァレンシアは飯器だ
事実10: その弗素ゴムは赦免する
事実11: もし仮にその社会監査書が間違い易いとすればそのパブロ・ヴァレンシアは未成年者である
事実12: そのパブロ・ヴァレンシアが間違い易いとすればその社会監査書は未成年者だ
事実13: その弗素ゴムは未成年者である
事実14: もし仮にその社会監査書が百姓らしいならその弗素ゴムは間違い易い
事実15: その弗素ゴムは毎回である
事実16: その連結完全支配関係は未成年者である
事実17: あの措置費が百姓らしいとすればその弗素ゴムは間違い易い
事実18: そのパブロ・ヴァレンシアは間違い易い

仮説: 「もしその社会監査書が間違い易いとしたらその弗素ゴムは百姓らしい」ということは間違っていない
1. 仮定1: 以下のように仮定する。その社会監査書は間違い易い
2. 事実11と仮定1から、推論1: "そのパブロ・ヴァレンシアは未成年者だ"が導かれる
3. 推論1と事実6から、推論2: "その弗素ゴムは百姓らしい"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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