あの設計ビューはロックしないがしかし焚く
fact1: この穀物倉は暗唱出来る fact2: あの設計ビューは暗唱出来る fact3: 仮にあの設計ビューは暗唱出来るとすれば「それはロックするということはないしそれは焚く」ということは成り立たない
$facts$ = fact1: この穀物倉は暗唱出来る fact2: あの設計ビューは暗唱出来る fact3: 仮にあの設計ビューは暗唱出来るとすれば「それはロックするということはないしそれは焚く」ということは成り立たない ; $hypothesis$ = あの設計ビューはロックしないがしかし焚く ; $proof$ = 
事実1: この穀物倉は暗唱出来る
事実2: あの設計ビューは暗唱出来る
事実3: 仮にあの設計ビューは暗唱出来るとすれば「それはロックするということはないしそれは焚く」ということは成り立たない

仮説: あの設計ビューはロックしないがしかし焚く