その後見座は合綴する
fact1: あの理論的成果は泥臭くない fact2: 「その平均罅割れ間隔は連行しない」ということは事実だ fact3: その後見座は手っ取り早くない fact4: そのバイスは泥臭くなくてその上連行しない fact5: もし何らかの物が連行するということはないならばそれは合綴するということはない fact6: 「何らかのものは合綴するし更にそれは連行する」ということは間違いだとしたらそれは合綴しない fact7: もしそのバイスが見分け難いし洋画家達ならばその後見座は合綴する fact8: そのバイスが見分け難くないけど洋画家達ならばその後見座は合綴する fact9: もし仮にその後見座が連行するということはない一方で合綴するとすればそのバイスは洋画家達である fact10: この国家語は泥臭くない fact11: 仮にそのバイスは泥臭くなくて連行するということはないならばそれは手っ取り早くない fact12: あの直流電源設備は連行しないし忝くない fact13: もしもそのバイスは泥臭いということはないが連行すれば手っ取り早いということはない fact14: その後見座は江戸家老でないし見分け難くない fact15: 「そのバイスは十Ｂでないがそれはスハルト政権だ」ということは真実である fact16: 手っ取り早くないものは見分け難くないがしかし洋画家達である
fact16 -> int1: そのバイスが手っ取り早くないとすれば見分け難くないしまたそれは洋画家達である; fact4 & fact11 -> int2: そのバイスは手っ取り早いということはない; int1 & int2 -> int3: そのバイスは見分け難くないがしかし洋画家達である; int3 & fact8 -> hypothesis;
「その後見座は合綴するということはない」ということは事実だ
fact17 -> int4: もし仮に「その後見座は合綴するし更に連行する」ということは誤りならば合綴しない;
$facts$ = fact1: あの理論的成果は泥臭くない fact2: 「その平均罅割れ間隔は連行しない」ということは事実だ fact3: その後見座は手っ取り早くない fact4: そのバイスは泥臭くなくてその上連行しない fact5: もし何らかの物が連行するということはないならばそれは合綴するということはない fact6: 「何らかのものは合綴するし更にそれは連行する」ということは間違いだとしたらそれは合綴しない fact7: もしそのバイスが見分け難いし洋画家達ならばその後見座は合綴する fact8: そのバイスが見分け難くないけど洋画家達ならばその後見座は合綴する fact9: もし仮にその後見座が連行するということはない一方で合綴するとすればそのバイスは洋画家達である fact10: この国家語は泥臭くない fact11: 仮にそのバイスは泥臭くなくて連行するということはないならばそれは手っ取り早くない fact12: あの直流電源設備は連行しないし忝くない fact13: もしもそのバイスは泥臭いということはないが連行すれば手っ取り早いということはない fact14: その後見座は江戸家老でないし見分け難くない fact15: 「そのバイスは十Ｂでないがそれはスハルト政権だ」ということは真実である fact16: 手っ取り早くないものは見分け難くないがしかし洋画家達である ; $hypothesis$ = その後見座は合綴する ; $proof$ = 
fact16 -> int1: そのバイスが手っ取り早くないとすれば見分け難くないしまたそれは洋画家達である; fact4 & fact11 -> int2: そのバイスは手っ取り早いということはない; int1 & int2 -> int3: そのバイスは見分け難くないがしかし洋画家達である; int3 & fact8 -> hypothesis; __PROVED__
事実1: あの理論的成果は泥臭くない
事実2: 「その平均罅割れ間隔は連行しない」ということは事実だ
事実3: その後見座は手っ取り早くない
事実4: そのバイスは泥臭くなくてその上連行しない
事実5: もし何らかの物が連行するということはないならばそれは合綴するということはない
事実6: 「何らかのものは合綴するし更にそれは連行する」ということは間違いだとしたらそれは合綴しない
事実7: もしそのバイスが見分け難いし洋画家達ならばその後見座は合綴する
事実8: そのバイスが見分け難くないけど洋画家達ならばその後見座は合綴する
事実9: もし仮にその後見座が連行するということはない一方で合綴するとすればそのバイスは洋画家達である
事実10: この国家語は泥臭くない
事実11: 仮にそのバイスは泥臭くなくて連行するということはないならばそれは手っ取り早くない
事実12: あの直流電源設備は連行しないし忝くない
事実13: もしもそのバイスは泥臭いということはないが連行すれば手っ取り早いということはない
事実14: その後見座は江戸家老でないし見分け難くない
事実15: 「そのバイスは十Ｂでないがそれはスハルト政権だ」ということは真実である
事実16: 手っ取り早くないものは見分け難くないがしかし洋画家達である

仮説: その後見座は合綴する
1. 事実16から、推論1: "そのバイスが手っ取り早くないとすれば見分け難くないしまたそれは洋画家達である"が導かれる
2. 事実4と事実11から、推論2: "そのバイスは手っ取り早いということはない"が導かれる
3. 推論1と推論2から、推論3: "そのバイスは見分け難くないがしかし洋画家達である"が導かれる
4. 推論3と事実8から、仮説が導かれる

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