あの五歳以上は香ばしい
fact1: もし仮になにかはアーなら「印刷するということはないが学生さんである」ということは間違っている fact2: 「あの会計理論は印刷しない一方で学生さんだ」ということは誤っているとすればあの五歳以上は香ばしかない fact3: 「なにがしかの物はアーでないしそれに印刷しない」ということは成り立たないとすればそれは印刷する fact4: もし仮にあの会計理論は印刷するとしたら「あの五歳以上は香ばしいかあるいはそれは学生さんでないかあるいはどちらもである」ということは正しい fact5: あの五歳以上は印刷するしそれは香ばしい fact6: 仮になにかは頭痛でないとするとそれは価額であるかあるいはアーだ
fact5 -> hypothesis;
fact5 -> hypothesis;
その出生時は香ばしい
fact7 -> int1: もしも「あの会計理論はアーでないし更に印刷しない」ということは間違っているとすればそれは印刷する;
$facts$ = fact1: もし仮になにかはアーなら「印刷するということはないが学生さんである」ということは間違っている fact2: 「あの会計理論は印刷しない一方で学生さんだ」ということは誤っているとすればあの五歳以上は香ばしかない fact3: 「なにがしかの物はアーでないしそれに印刷しない」ということは成り立たないとすればそれは印刷する fact4: もし仮にあの会計理論は印刷するとしたら「あの五歳以上は香ばしいかあるいはそれは学生さんでないかあるいはどちらもである」ということは正しい fact5: あの五歳以上は印刷するしそれは香ばしい fact6: 仮になにかは頭痛でないとするとそれは価額であるかあるいはアーだ ; $hypothesis$ = あの五歳以上は香ばしい ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もし仮になにかはアーなら「印刷するということはないが学生さんである」ということは間違っている
事実2: 「あの会計理論は印刷しない一方で学生さんだ」ということは誤っているとすればあの五歳以上は香ばしかない
事実3: 「なにがしかの物はアーでないしそれに印刷しない」ということは成り立たないとすればそれは印刷する
事実4: もし仮にあの会計理論は印刷するとしたら「あの五歳以上は香ばしいかあるいはそれは学生さんでないかあるいはどちらもである」ということは正しい
事実5: あの五歳以上は印刷するしそれは香ばしい
事実6: 仮になにかは頭痛でないとするとそれは価額であるかあるいはアーだ

仮説: あの五歳以上は香ばしい
1. 事実5から、仮説が導かれる

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