「あの路線バスは海鳴りでないかもしくは目立ち過ぎるかどちらもである」ということは本当でない
fact1: 現われ難いものは海鳴りでないかもしくは目立ち過ぎるかまたは両方である fact2: 「現われ難い」ものはある fact3: もし「この循環的要因は教務だ」ということは真実であるとするとあの路線バスは目立ち過ぎない fact4: あの路線バスはコミットするとすると「この循環的要因は教務だということはないかもしくは海鳴りであるかあるいは両方ともだ」ということは誤っている fact5: もしこの循環的要因は教務だとすれば「あの路線バスは海鳴りでないかまたはそれは目立ち過ぎる」ということは成り立たない fact6: あの路線バスは目立ち過ぎない fact7: 現われ難い物があればこの循環的要因はコミットするしかつそれは教務である fact8: もし仮に「ある物は現われ難い」ということは事実であるならばあの循環的要因はコミットする fact9: 仮になにがしかのものは現われ難いということはないなら「色好くないかもしくは付け易いか両方ともだ」ということは正しくない
fact2 & fact7 -> int1: 「この循環的要因はコミットするしそれは教務である」ということは本当だ; int1 -> int2: この循環的要因は教務である; int2 & fact5 -> hypothesis;
「この公立高校は色好いということはないかもしくは付け易いか両方である」ということは誤っている
fact10 -> int3: もし仮にこの公立高校は現われ難くないならば「「色好くないかまたは付け易いかまたは両方ともである」ということは成り立つ」ということは間違いだ;
$facts$ = fact1: 現われ難いものは海鳴りでないかもしくは目立ち過ぎるかまたは両方である fact2: 「現われ難い」ものはある fact3: もし「この循環的要因は教務だ」ということは真実であるとするとあの路線バスは目立ち過ぎない fact4: あの路線バスはコミットするとすると「この循環的要因は教務だということはないかもしくは海鳴りであるかあるいは両方ともだ」ということは誤っている fact5: もしこの循環的要因は教務だとすれば「あの路線バスは海鳴りでないかまたはそれは目立ち過ぎる」ということは成り立たない fact6: あの路線バスは目立ち過ぎない fact7: 現われ難い物があればこの循環的要因はコミットするしかつそれは教務である fact8: もし仮に「ある物は現われ難い」ということは事実であるならばあの循環的要因はコミットする fact9: 仮になにがしかのものは現われ難いということはないなら「色好くないかもしくは付け易いか両方ともだ」ということは正しくない ; $hypothesis$ = 「あの路線バスは海鳴りでないかもしくは目立ち過ぎるかどちらもである」ということは本当でない ; $proof$ = 
fact2 & fact7 -> int1: 「この循環的要因はコミットするしそれは教務である」ということは本当だ; int1 -> int2: この循環的要因は教務である; int2 & fact5 -> hypothesis; __PROVED__
事実1: 現われ難いものは海鳴りでないかもしくは目立ち過ぎるかまたは両方である
事実2: 「現われ難い」ものはある
事実3: もし「この循環的要因は教務だ」ということは真実であるとするとあの路線バスは目立ち過ぎない
事実4: あの路線バスはコミットするとすると「この循環的要因は教務だということはないかもしくは海鳴りであるかあるいは両方ともだ」ということは誤っている
事実5: もしこの循環的要因は教務だとすれば「あの路線バスは海鳴りでないかまたはそれは目立ち過ぎる」ということは成り立たない
事実6: あの路線バスは目立ち過ぎない
事実7: 現われ難い物があればこの循環的要因はコミットするしかつそれは教務である
事実8: もし仮に「ある物は現われ難い」ということは事実であるならばあの循環的要因はコミットする
事実9: 仮になにがしかのものは現われ難いということはないなら「色好くないかもしくは付け易いか両方ともだ」ということは正しくない

仮説: 「あの路線バスは海鳴りでないかもしくは目立ち過ぎるかどちらもである」ということは本当でない
1. 事実2と事実7から、推論1: "「この循環的要因はコミットするしそれは教務である」ということは本当だ"が導かれる
2. 推論1から、推論2: "この循環的要因は教務である"が導かれる
3. 推論2と事実5から、仮説が導かれる

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