このガラス工人は未解放部落でないしそれは旨しない
fact1: あのアロー号は二大勢力でない fact2: あの指数項目はストレッチ出来る fact3: 仮に深層が送達すればそれは旨しない fact4: もしその諸機能がストレッチ出来るとしたらあのアロー号は深層である fact5: 「このガラス工人は送達す」ということは確かだ fact6: 「もし仮に温いものがドーラン巡査だとすればそれはぼらない」ということは確かである fact7: あのアロー号は握り返さなくて更に足掻かない fact8: 「あのアロー号は未解放部落でない」ということは真実だとすればあのガラス工人は旨しないしその上未解放部落でない fact9: その諸機能はストレッチ出来る fact10: 「もしその諸機能が未解放部落でないならこのガラス工人はストレッチ出来ないし未解放部落でない」ということは成り立つ fact11: あのアロー号は弱々しくてさらにそれは送達す fact12: あのアロー号が旨しないとしたらこのガラス工人は未解放部落でないし旨しない fact13: あのアロー号は未解放部落だ fact14: もしなにがしかのものはストレッチ出来ないとしたら「未解放部落でないし加えて旨しない」ということは嘘である fact15: あの創立時は起草者だということはなくてかつそれは交ずない fact16: このガラス工人は未解放部落でない fact17: その死命は未解放部落である
fact4 & fact9 -> int1: あのアロー号は深層だ; fact11 -> int2: あのアロー号は送達す; int1 & int2 -> int3: あのアロー号が深層だしそれは送達す; fact3 -> int4: あのアロー号が深層だしさらに送達すとすると旨しということはない; int3 & int4 -> int5: あのアロー号は旨しない; int5 & fact12 -> hypothesis;
「このガラス工人は未解放部落でないしさらに旨しない」ということは誤りである
fact18 -> int6: もしもこのガラス工人はストレッチ出来るということはないなら「それは未解放部落でなくてまた旨しない」ということは偽だ;
$facts$ = fact1: あのアロー号は二大勢力でない fact2: あの指数項目はストレッチ出来る fact3: 仮に深層が送達すればそれは旨しない fact4: もしその諸機能がストレッチ出来るとしたらあのアロー号は深層である fact5: 「このガラス工人は送達す」ということは確かだ fact6: 「もし仮に温いものがドーラン巡査だとすればそれはぼらない」ということは確かである fact7: あのアロー号は握り返さなくて更に足掻かない fact8: 「あのアロー号は未解放部落でない」ということは真実だとすればあのガラス工人は旨しないしその上未解放部落でない fact9: その諸機能はストレッチ出来る fact10: 「もしその諸機能が未解放部落でないならこのガラス工人はストレッチ出来ないし未解放部落でない」ということは成り立つ fact11: あのアロー号は弱々しくてさらにそれは送達す fact12: あのアロー号が旨しないとしたらこのガラス工人は未解放部落でないし旨しない fact13: あのアロー号は未解放部落だ fact14: もしなにがしかのものはストレッチ出来ないとしたら「未解放部落でないし加えて旨しない」ということは嘘である fact15: あの創立時は起草者だということはなくてかつそれは交ずない fact16: このガラス工人は未解放部落でない fact17: その死命は未解放部落である ; $hypothesis$ = このガラス工人は未解放部落でないしそれは旨しない ; $proof$ = 
fact4 & fact9 -> int1: あのアロー号は深層だ; fact11 -> int2: あのアロー号は送達す; int1 & int2 -> int3: あのアロー号が深層だしそれは送達す; fact3 -> int4: あのアロー号が深層だしさらに送達すとすると旨しということはない; int3 & int4 -> int5: あのアロー号は旨しない; int5 & fact12 -> hypothesis; __PROVED__
事実1: あのアロー号は二大勢力でない
事実2: あの指数項目はストレッチ出来る
事実3: 仮に深層が送達すればそれは旨しない
事実4: もしその諸機能がストレッチ出来るとしたらあのアロー号は深層である
事実5: 「このガラス工人は送達す」ということは確かだ
事実6: 「もし仮に温いものがドーラン巡査だとすればそれはぼらない」ということは確かである
事実7: あのアロー号は握り返さなくて更に足掻かない
事実8: 「あのアロー号は未解放部落でない」ということは真実だとすればあのガラス工人は旨しないしその上未解放部落でない
事実9: その諸機能はストレッチ出来る
事実10: 「もしその諸機能が未解放部落でないならこのガラス工人はストレッチ出来ないし未解放部落でない」ということは成り立つ
事実11: あのアロー号は弱々しくてさらにそれは送達す
事実12: あのアロー号が旨しないとしたらこのガラス工人は未解放部落でないし旨しない
事実13: あのアロー号は未解放部落だ
事実14: もしなにがしかのものはストレッチ出来ないとしたら「未解放部落でないし加えて旨しない」ということは嘘である
事実15: あの創立時は起草者だということはなくてかつそれは交ずない
事実16: このガラス工人は未解放部落でない
事実17: その死命は未解放部落である

仮説: このガラス工人は未解放部落でないしそれは旨しない
1. 事実4と事実9から、推論1: "あのアロー号は深層だ"が導かれる
2. 事実11から、推論2: "あのアロー号は送達す"が導かれる
3. 推論1と推論2から、推論3: "あのアロー号が深層だしそれは送達す"が導かれる
4. 事実3から、推論4: "あのアロー号が深層だしさらに送達すとすると旨しということはない"が導かれる
5. 推論3と推論4から、推論5: "あのアロー号は旨しない"が導かれる
6. 推論5と事実12から、仮説が導かれる

よって、仮説が証明されました。