そのプロムナードは瞥見する
fact1: もしなんらかの物が伸ばし易いとすればそれは瞥見しない fact2: 「その局面は運ばない」ということは成り立たない fact3: 「嫌らしくない」ものはある fact4: もしなんらかの物が来さないならばそれは御注意下さるし加えて運ぶ fact5: もし仮にそのプロムナードが住み易くないとすればそれは来すしそれは瞥見する fact6: その局面は来すということはないなら「それは運ぶ」ということは嘘でない fact7: 「もし「嫌らしくない」物はあるなら「その局面は来すということはない」ということは本当である」ということは本当だ fact8: もしもそのプロムナードは伸ばし易いなら「それは瞥見しない」ということは正しい fact9: もしその局面が御注意下さるとするとそのプロムナードは住み易い fact10: 「仮になにがしかのものが住み易いかもしくはそれが伸ばし易いとしたら瞥見しない」ということは成り立つ
fact4 -> int1: もしも「「その局面は来す」ということは真実だ」ということは間違いなら御注意下さるししかも運ぶ; fact7 & fact3 -> int2: その局面は来さない; int1 & int2 -> int3: その局面は御注意下さるしそれは運ぶ; int3 -> int4: その局面は御注意下さる; int4 & fact9 -> int5: そのプロムナードは住み易い; int5 -> int6: そのプロムナードは住み易いかあるいはそれは伸ばし易い; fact10 -> int7: もしもそのプロムナードは住み易いかまたは伸ばし易いかあるいは両方であるとすると瞥見しない; int6 & int7 -> hypothesis;
そのプロムナードは瞥見する
$facts$ = fact1: もしなんらかの物が伸ばし易いとすればそれは瞥見しない fact2: 「その局面は運ばない」ということは成り立たない fact3: 「嫌らしくない」ものはある fact4: もしなんらかの物が来さないならばそれは御注意下さるし加えて運ぶ fact5: もし仮にそのプロムナードが住み易くないとすればそれは来すしそれは瞥見する fact6: その局面は来すということはないなら「それは運ぶ」ということは嘘でない fact7: 「もし「嫌らしくない」物はあるなら「その局面は来すということはない」ということは本当である」ということは本当だ fact8: もしもそのプロムナードは伸ばし易いなら「それは瞥見しない」ということは正しい fact9: もしその局面が御注意下さるとするとそのプロムナードは住み易い fact10: 「仮になにがしかのものが住み易いかもしくはそれが伸ばし易いとしたら瞥見しない」ということは成り立つ ; $hypothesis$ = そのプロムナードは瞥見する ; $proof$ = 
fact4 -> int1: もしも「「その局面は来す」ということは真実だ」ということは間違いなら御注意下さるししかも運ぶ; fact7 & fact3 -> int2: その局面は来さない; int1 & int2 -> int3: その局面は御注意下さるしそれは運ぶ; int3 -> int4: その局面は御注意下さる; int4 & fact9 -> int5: そのプロムナードは住み易い; int5 -> int6: そのプロムナードは住み易いかあるいはそれは伸ばし易い; fact10 -> int7: もしもそのプロムナードは住み易いかまたは伸ばし易いかあるいは両方であるとすると瞥見しない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物が伸ばし易いとすればそれは瞥見しない
事実2: 「その局面は運ばない」ということは成り立たない
事実3: 「嫌らしくない」ものはある
事実4: もしなんらかの物が来さないならばそれは御注意下さるし加えて運ぶ
事実5: もし仮にそのプロムナードが住み易くないとすればそれは来すしそれは瞥見する
事実6: その局面は来すということはないなら「それは運ぶ」ということは嘘でない
事実7: 「もし「嫌らしくない」物はあるなら「その局面は来すということはない」ということは本当である」ということは本当だ
事実8: もしもそのプロムナードは伸ばし易いなら「それは瞥見しない」ということは正しい
事実9: もしその局面が御注意下さるとするとそのプロムナードは住み易い
事実10: 「仮になにがしかのものが住み易いかもしくはそれが伸ばし易いとしたら瞥見しない」ということは成り立つ

仮説: そのプロムナードは瞥見する
1. 事実4から、推論1: "もしも「「その局面は来す」ということは真実だ」ということは間違いなら御注意下さるししかも運ぶ"が導かれる
2. 事実7と事実3から、推論2: "その局面は来さない"が導かれる
3. 推論1と推論2から、推論3: "その局面は御注意下さるしそれは運ぶ"が導かれる
4. 推論3から、推論4: "その局面は御注意下さる"が導かれる
5. 推論4と事実9から、推論5: "そのプロムナードは住み易い"が導かれる
6. 推論5から、推論6: "そのプロムナードは住み易いかあるいはそれは伸ばし易い"が導かれる
7. 事実10から、推論7: "もしもそのプロムナードは住み易いかまたは伸ばし易いかあるいは両方であるとすると瞥見しない"が導かれる
8. 推論6と推論7から、仮説が否定される

よって、仮説が否定されました。