「あの実験台は悲しということはない」ということは真実である
fact1: 「あの水車場は過ごし易いがしかしそれは共通規格でない」ということは誤っている fact2: もし仮に「あの水車場は過ごし易いがしかし共通規格でない」ということは成り立たないとするとあの実験台は悲し
$facts$ = fact1: 「あの水車場は過ごし易いがしかしそれは共通規格でない」ということは誤っている fact2: もし仮に「あの水車場は過ごし易いがしかし共通規格でない」ということは成り立たないとするとあの実験台は悲し ; $hypothesis$ = 「あの実験台は悲しということはない」ということは真実である ; $proof$ = 
事実1: 「あの水車場は過ごし易いがしかしそれは共通規格でない」ということは誤っている
事実2: もし仮に「あの水車場は過ごし易いがしかし共通規格でない」ということは成り立たないとするとあの実験台は悲し

仮説: 「あの実験台は悲しということはない」ということは真実である