あの商業高校は思慮深い
fact1: もしも何らかのものは腐植でないならそれは思慮深い fact2: とある物が代謝能だということはないとすればそれは腐植だ fact3: その姫さんは腐植であるしその上代謝能だ fact4: 腐植が代謝能だとしたらそれは思慮深くない fact5: もし仮にあの商業高校は代謝能であるということはないなら腐植だ fact6: もしもあの商業高校が思慮深くてかつ腐植であるとするとその姫さんは思慮深くない fact7: 仮にその姫さんが腐植だし代謝能であるならあの商業高校は腐植であるということはない fact8: 「神父達でない」物はある fact9: もしもあの商業高校は腐植でないとするとそれは代謝能である fact10: 仮に「なにがしかの物は代謝能であるし思慮深い」ということは間違っていれば「思慮深くない」ということは正しい fact11: 「この栄養分は腐植だ」ということは誤りでない fact12: その心意気はせせこましいなら「慎ましいかもしくは神父達だということはない」ということは成り立たない fact13: その姫さんは思慮深くない fact14: 仮に「その心意気は代謝能でないか遣らかさないかもしくはどちらもだ」ということは偽ならばあの姫さんは代謝能でない fact15: その姫さんは腐植である fact16: あの商業高校は長期滞在する fact17: あの体脂肪は思慮深い fact18: その心意気はせせこましい fact19: 「その姫さんが代謝能だしさらにそれは思慮深い」ということは成り立つとしたらあの商業高校は代謝能でない
fact1 -> int1: 「もしも「あの商業高校は腐植でない」ということは本当ならあの商業高校は思慮深い」ということは事実だ; fact3 & fact7 -> int2: あの商業高校は腐植でない; int1 & int2 -> hypothesis;
fact1 -> int1: ¬{B}{aa} -> {C}{aa}; fact3 & fact7 -> int2: ¬{B}{aa}; int1 & int2 -> hypothesis;
「あの商業高校は思慮深くない」ということは間違いでない
fact20 -> int3: あの商業高校が腐植だし代謝能だとするとそれは思慮深いということはない;
$facts$ = fact1: もしも何らかのものは腐植でないならそれは思慮深い fact2: とある物が代謝能だということはないとすればそれは腐植だ fact3: その姫さんは腐植であるしその上代謝能だ fact4: 腐植が代謝能だとしたらそれは思慮深くない fact5: もし仮にあの商業高校は代謝能であるということはないなら腐植だ fact6: もしもあの商業高校が思慮深くてかつ腐植であるとするとその姫さんは思慮深くない fact7: 仮にその姫さんが腐植だし代謝能であるならあの商業高校は腐植であるということはない fact8: 「神父達でない」物はある fact9: もしもあの商業高校は腐植でないとするとそれは代謝能である fact10: 仮に「なにがしかの物は代謝能であるし思慮深い」ということは間違っていれば「思慮深くない」ということは正しい fact11: 「この栄養分は腐植だ」ということは誤りでない fact12: その心意気はせせこましいなら「慎ましいかもしくは神父達だということはない」ということは成り立たない fact13: その姫さんは思慮深くない fact14: 仮に「その心意気は代謝能でないか遣らかさないかもしくはどちらもだ」ということは偽ならばあの姫さんは代謝能でない fact15: その姫さんは腐植である fact16: あの商業高校は長期滞在する fact17: あの体脂肪は思慮深い fact18: その心意気はせせこましい fact19: 「その姫さんが代謝能だしさらにそれは思慮深い」ということは成り立つとしたらあの商業高校は代謝能でない ; $hypothesis$ = あの商業高校は思慮深い ; $proof$ = 
fact1 -> int1: 「もしも「あの商業高校は腐植でない」ということは本当ならあの商業高校は思慮深い」ということは事実だ; fact3 & fact7 -> int2: あの商業高校は腐植でない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも何らかのものは腐植でないならそれは思慮深い
事実2: とある物が代謝能だということはないとすればそれは腐植だ
事実3: その姫さんは腐植であるしその上代謝能だ
事実4: 腐植が代謝能だとしたらそれは思慮深くない
事実5: もし仮にあの商業高校は代謝能であるということはないなら腐植だ
事実6: もしもあの商業高校が思慮深くてかつ腐植であるとするとその姫さんは思慮深くない
事実7: 仮にその姫さんが腐植だし代謝能であるならあの商業高校は腐植であるということはない
事実8: 「神父達でない」物はある
事実9: もしもあの商業高校は腐植でないとするとそれは代謝能である
事実10: 仮に「なにがしかの物は代謝能であるし思慮深い」ということは間違っていれば「思慮深くない」ということは正しい
事実11: 「この栄養分は腐植だ」ということは誤りでない
事実12: その心意気はせせこましいなら「慎ましいかもしくは神父達だということはない」ということは成り立たない
事実13: その姫さんは思慮深くない
事実14: 仮に「その心意気は代謝能でないか遣らかさないかもしくはどちらもだ」ということは偽ならばあの姫さんは代謝能でない
事実15: その姫さんは腐植である
事実16: あの商業高校は長期滞在する
事実17: あの体脂肪は思慮深い
事実18: その心意気はせせこましい
事実19: 「その姫さんが代謝能だしさらにそれは思慮深い」ということは成り立つとしたらあの商業高校は代謝能でない

仮説: あの商業高校は思慮深い
1. 事実1から、推論1: "「もしも「あの商業高校は腐植でない」ということは本当ならあの商業高校は思慮深い」ということは事実だ"が導かれる
2. 事実3と事実7から、推論2: "あの商業高校は腐植でない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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