「「あの縦隔はずれ込まないけれど思い易い」ということは本当だ」ということは成り立たない
fact1: 「あの縦隔は味気無いなら「あの縦隔はずれ込まないけど思い易い」ということは誤りだ」ということは正しい fact2: あの縦隔は味気無い
$facts$ = fact1: 「あの縦隔は味気無いなら「あの縦隔はずれ込まないけど思い易い」ということは誤りだ」ということは正しい fact2: あの縦隔は味気無い ; $hypothesis$ = 「「あの縦隔はずれ込まないけれど思い易い」ということは本当だ」ということは成り立たない ; $proof$ = 
事実1: 「あの縦隔は味気無いなら「あの縦隔はずれ込まないけど思い易い」ということは誤りだ」ということは正しい
事実2: あの縦隔は味気無い

仮説: 「「あの縦隔はずれ込まないけれど思い易い」ということは本当だ」ということは成り立たない