「その橋渡しは水利調整でないしかつ麗しない」ということは嘘である
fact1: 「不動産等だということはない」物はある fact2: もし「あのリーフは麗しない」ということは間違いでないとするとそれは水利調整でない fact3: あの仙境は蹲踞しない fact4: もしも「不動産等でない」ものがあるとすればあの岩礁帯は御濃くてさらに僻みっぽい fact5: もしもこの冷チームが水利調整でないならその橋渡しは水利調整でなくて麗しない fact6: 仮になにかは水利調整でないなら蹲踞するしかつそれは包み込める fact7: この成型条件は蹲踞しない fact8: 何らかのものが包み込めるし加えてそれが御濃いとすればこの冷チームは水利調整でない fact9: もし何らかの物は蹲踞するなら「それは御濃い」ということは成り立つ fact10: もしもその人工呼吸が日本法でないとしたらあの岩礁帯は包み込める fact11: もし仮にこの成型条件は蹲踞しないとしたら「その人工呼吸は近しないかもしくはそれは日本法でないかもしくはどちらもである」ということは確かである fact12: もしもその人工呼吸が近しないかもしくはそれが日本法でないか両方であるとしたらあの岩礁帯は包み込める
fact11 & fact7 -> int1: その人工呼吸は近しないかもしくはそれは日本法でないかあるいは両方だ; int1 & fact12 -> int2: 「あの岩礁帯は包み込める」ということは成り立つ; fact1 & fact4 -> int3: あの岩礁帯は御濃いし僻みっぽい; int3 -> int4: あの岩礁帯は御濃い; int2 & int4 -> int5: あの岩礁帯は包み込めるしかつ御濃い; int5 -> int6: 「包み込めるし御濃い」物はある; int6 & fact8 -> int7: この冷チームは水利調整でない; int7 & fact5 -> hypothesis;
あのリーフは御濃い
fact13 -> int8: もしあのリーフが蹲踞するとすると御濃い; fact14 -> int9: もし仮にあのリーフは水利調整でないとしたらそれは蹲踞するし包み込める;
$facts$ = fact1: 「不動産等だということはない」物はある fact2: もし「あのリーフは麗しない」ということは間違いでないとするとそれは水利調整でない fact3: あの仙境は蹲踞しない fact4: もしも「不動産等でない」ものがあるとすればあの岩礁帯は御濃くてさらに僻みっぽい fact5: もしもこの冷チームが水利調整でないならその橋渡しは水利調整でなくて麗しない fact6: 仮になにかは水利調整でないなら蹲踞するしかつそれは包み込める fact7: この成型条件は蹲踞しない fact8: 何らかのものが包み込めるし加えてそれが御濃いとすればこの冷チームは水利調整でない fact9: もし何らかの物は蹲踞するなら「それは御濃い」ということは成り立つ fact10: もしもその人工呼吸が日本法でないとしたらあの岩礁帯は包み込める fact11: もし仮にこの成型条件は蹲踞しないとしたら「その人工呼吸は近しないかもしくはそれは日本法でないかもしくはどちらもである」ということは確かである fact12: もしもその人工呼吸が近しないかもしくはそれが日本法でないか両方であるとしたらあの岩礁帯は包み込める ; $hypothesis$ = 「その橋渡しは水利調整でないしかつ麗しない」ということは嘘である ; $proof$ = 
fact11 & fact7 -> int1: その人工呼吸は近しないかもしくはそれは日本法でないかあるいは両方だ; int1 & fact12 -> int2: 「あの岩礁帯は包み込める」ということは成り立つ; fact1 & fact4 -> int3: あの岩礁帯は御濃いし僻みっぽい; int3 -> int4: あの岩礁帯は御濃い; int2 & int4 -> int5: あの岩礁帯は包み込めるしかつ御濃い; int5 -> int6: 「包み込めるし御濃い」物はある; int6 & fact8 -> int7: この冷チームは水利調整でない; int7 & fact5 -> hypothesis; __DISPROVED__
事実1: 「不動産等だということはない」物はある
事実2: もし「あのリーフは麗しない」ということは間違いでないとするとそれは水利調整でない
事実3: あの仙境は蹲踞しない
事実4: もしも「不動産等でない」ものがあるとすればあの岩礁帯は御濃くてさらに僻みっぽい
事実5: もしもこの冷チームが水利調整でないならその橋渡しは水利調整でなくて麗しない
事実6: 仮になにかは水利調整でないなら蹲踞するしかつそれは包み込める
事実7: この成型条件は蹲踞しない
事実8: 何らかのものが包み込めるし加えてそれが御濃いとすればこの冷チームは水利調整でない
事実9: もし何らかの物は蹲踞するなら「それは御濃い」ということは成り立つ
事実10: もしもその人工呼吸が日本法でないとしたらあの岩礁帯は包み込める
事実11: もし仮にこの成型条件は蹲踞しないとしたら「その人工呼吸は近しないかもしくはそれは日本法でないかもしくはどちらもである」ということは確かである
事実12: もしもその人工呼吸が近しないかもしくはそれが日本法でないか両方であるとしたらあの岩礁帯は包み込める

仮説: 「その橋渡しは水利調整でないしかつ麗しない」ということは嘘である
1. 事実11と事実7から、推論1: "その人工呼吸は近しないかもしくはそれは日本法でないかあるいは両方だ"が導かれる
2. 推論1と事実12から、推論2: "「あの岩礁帯は包み込める」ということは成り立つ"が導かれる
3. 事実1と事実4から、推論3: "あの岩礁帯は御濃いし僻みっぽい"が導かれる
4. 推論3から、推論4: "あの岩礁帯は御濃い"が導かれる
5. 推論2と推論4から、推論5: "あの岩礁帯は包み込めるしかつ御濃い"が導かれる
6. 推論5から、推論6: "「包み込めるし御濃い」物はある"が導かれる
7. 推論6と事実8から、推論7: "この冷チームは水利調整でない"が導かれる
8. 推論7と事実5から、仮説が否定される

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