「人文学でないか積分しないかまたはどちらもならば呆気なくない」物はある
fact1: 「人文学であるかあるいは積分しないなら呆気なくない」ものはある fact2: 「もし人文学でないか積分しないかどちらもであるとすると呆気ない」ものはある fact3: 「「使用量でないかまたは叩きのめすということはないなら白茶けない」ものはある」ということは本当である fact4: もしこの世紀末が人文学だということはないならそれは呆気なくない fact5: 「仮に「積分しない」ということは本当ならば呆気なくない」物はある fact6: もしこの世紀末が人文学であるということはないかもしくは積分しないとしたら呆気なくない fact7: 「仮に人文学でないとしたら呆気なくない」物はある
fact6 -> hypothesis;
fact6 -> hypothesis;
$facts$ = fact1: 「人文学であるかあるいは積分しないなら呆気なくない」ものはある fact2: 「もし人文学でないか積分しないかどちらもであるとすると呆気ない」ものはある fact3: 「「使用量でないかまたは叩きのめすということはないなら白茶けない」ものはある」ということは本当である fact4: もしこの世紀末が人文学だということはないならそれは呆気なくない fact5: 「仮に「積分しない」ということは本当ならば呆気なくない」物はある fact6: もしこの世紀末が人文学であるということはないかもしくは積分しないとしたら呆気なくない fact7: 「仮に人文学でないとしたら呆気なくない」物はある ; $hypothesis$ = 「人文学でないか積分しないかまたはどちらもならば呆気なくない」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「人文学であるかあるいは積分しないなら呆気なくない」ものはある
事実2: 「もし人文学でないか積分しないかどちらもであるとすると呆気ない」ものはある
事実3: 「「使用量でないかまたは叩きのめすということはないなら白茶けない」ものはある」ということは本当である
事実4: もしこの世紀末が人文学だということはないならそれは呆気なくない
事実5: 「仮に「積分しない」ということは本当ならば呆気なくない」物はある
事実6: もしこの世紀末が人文学であるということはないかもしくは積分しないとしたら呆気なくない
事実7: 「仮に人文学でないとしたら呆気なくない」物はある

仮説: 「人文学でないか積分しないかまたはどちらもならば呆気なくない」物はある
1. 事実6から、仮説が導かれる

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