「そのニコラス・ブレイクはもどかしいかまたは向上しないかもしくは両方ともだ」ということは間違いである
fact1: もし「この片持ち梁支柱モデルは小暗くない」ということは成り立つとすると「そのニコラス・ブレイクはもどかしいかそれは向上するということはない」ということは成り立たない fact2: この片持ち梁支柱モデルは小暗くない
$facts$ = fact1: もし「この片持ち梁支柱モデルは小暗くない」ということは成り立つとすると「そのニコラス・ブレイクはもどかしいかそれは向上するということはない」ということは成り立たない fact2: この片持ち梁支柱モデルは小暗くない ; $hypothesis$ = 「そのニコラス・ブレイクはもどかしいかまたは向上しないかもしくは両方ともだ」ということは間違いである ; $proof$ = 
事実1: もし「この片持ち梁支柱モデルは小暗くない」ということは成り立つとすると「そのニコラス・ブレイクはもどかしいかそれは向上するということはない」ということは成り立たない
事実2: この片持ち梁支柱モデルは小暗くない

仮説: 「そのニコラス・ブレイクはもどかしいかまたは向上しないかもしくは両方ともだ」ということは間違いである