「その事務職は見せ始めないがしかし狭い」ということは偽である
fact1: なにがしかの物はいじらしいとすれば「娩出であるということはないし加えてあくどくない」ということは成り立たない fact2: この和牛は見せ始めれば「その事務職は見せ始めるし更にそれは狭い」ということは間違いである fact3: もし仮にこの和牛があくどいなら見せ始める fact4: もしも「その事務職は同著でない一方でネイティブらしい」ということは成り立たないとすると「それはあくどくない」ということは事実である fact5: 仮に「この和牛はいじらしい」ということは事実だとしたら「それは娩出でないけれどあくどい」ということは正しくない fact6: 「この和牛は榕江行きである一方でそれはいじらしいということはない」ということは成り立たない fact7: もしもその事務職は軽減しないなら「それは同著だということはないがしかしネイティブらしい」ということは嘘である fact8: 仮になにかはいじらしいとすれば「それは娩出でなくてしかもあくどい」ということは偽だ fact9: 「この七時半頃は見せ始めるがしかしそれは娩出でない」ということは偽ならこの和牛は榕江行きである fact10: 「この七時半頃は辺り前であるがしかしそれは榕江行きでない」ということは嘘だ fact11: もし「「この七時半頃は辺り前だが榕江行きでない」ということは成り立たない」ということは誤りでないならこの和牛はいじらしい fact12: あくどくないしいじらしい物は見せ始めるということはない fact13: もしもこの七時半頃が榕江行きだとすればこの和牛はいじらしい fact14: 仮に「何かは娩出でないしおまけにそれはあくどくない」ということは誤りだとしたら見せ始める fact15: 「「この和牛は娩出でないけれどあくどい」ということは誤っている」ということは確かだ fact16: もしこの和牛は見せ始めるとすれば「「その事務職は見せ始めないけど狭い」ということは偽だ」ということは事実だ fact17: もしあるものがあくどいとすればそれは見せ始める fact18: 「その事務職は見せ始めるし狭い」ということは成り立たない fact19: 「「この七時半頃は辺り前であるし榕江行きである」ということは真実だ」ということは偽である
fact11 & fact10 -> int1: 「この和牛はいじらしい」ということは成り立つ; fact1 -> int2: もしもこの和牛はいじらしいならば「娩出でないしあくどくない」ということは成り立たない; int1 & int2 -> int3: 「この和牛は娩出でなくてあくどいということはない」ということは成り立つということはない; fact14 -> int4: 「この和牛は娩出でないしそれにあくどいということはない」ということは誤りなら「見せ始める」ということは事実である; int3 & int4 -> int5: この和牛は見せ始める; int5 & fact16 -> hypothesis;
「その事務職は見せ始めないけれど狭い」ということは誤りでない
fact20 -> int6: 仮にその事務職があくどくないけれどそれがいじらしいとすると見せ始めない;
$facts$ = fact1: なにがしかの物はいじらしいとすれば「娩出であるということはないし加えてあくどくない」ということは成り立たない fact2: この和牛は見せ始めれば「その事務職は見せ始めるし更にそれは狭い」ということは間違いである fact3: もし仮にこの和牛があくどいなら見せ始める fact4: もしも「その事務職は同著でない一方でネイティブらしい」ということは成り立たないとすると「それはあくどくない」ということは事実である fact5: 仮に「この和牛はいじらしい」ということは事実だとしたら「それは娩出でないけれどあくどい」ということは正しくない fact6: 「この和牛は榕江行きである一方でそれはいじらしいということはない」ということは成り立たない fact7: もしもその事務職は軽減しないなら「それは同著だということはないがしかしネイティブらしい」ということは嘘である fact8: 仮になにかはいじらしいとすれば「それは娩出でなくてしかもあくどい」ということは偽だ fact9: 「この七時半頃は見せ始めるがしかしそれは娩出でない」ということは偽ならこの和牛は榕江行きである fact10: 「この七時半頃は辺り前であるがしかしそれは榕江行きでない」ということは嘘だ fact11: もし「「この七時半頃は辺り前だが榕江行きでない」ということは成り立たない」ということは誤りでないならこの和牛はいじらしい fact12: あくどくないしいじらしい物は見せ始めるということはない fact13: もしもこの七時半頃が榕江行きだとすればこの和牛はいじらしい fact14: 仮に「何かは娩出でないしおまけにそれはあくどくない」ということは誤りだとしたら見せ始める fact15: 「「この和牛は娩出でないけれどあくどい」ということは誤っている」ということは確かだ fact16: もしこの和牛は見せ始めるとすれば「「その事務職は見せ始めないけど狭い」ということは偽だ」ということは事実だ fact17: もしあるものがあくどいとすればそれは見せ始める fact18: 「その事務職は見せ始めるし狭い」ということは成り立たない fact19: 「「この七時半頃は辺り前であるし榕江行きである」ということは真実だ」ということは偽である ; $hypothesis$ = 「その事務職は見せ始めないがしかし狭い」ということは偽である ; $proof$ = 
fact11 & fact10 -> int1: 「この和牛はいじらしい」ということは成り立つ; fact1 -> int2: もしもこの和牛はいじらしいならば「娩出でないしあくどくない」ということは成り立たない; int1 & int2 -> int3: 「この和牛は娩出でなくてあくどいということはない」ということは成り立つということはない; fact14 -> int4: 「この和牛は娩出でないしそれにあくどいということはない」ということは誤りなら「見せ始める」ということは事実である; int3 & int4 -> int5: この和牛は見せ始める; int5 & fact16 -> hypothesis; __PROVED__
事実1: なにがしかの物はいじらしいとすれば「娩出であるということはないし加えてあくどくない」ということは成り立たない
事実2: この和牛は見せ始めれば「その事務職は見せ始めるし更にそれは狭い」ということは間違いである
事実3: もし仮にこの和牛があくどいなら見せ始める
事実4: もしも「その事務職は同著でない一方でネイティブらしい」ということは成り立たないとすると「それはあくどくない」ということは事実である
事実5: 仮に「この和牛はいじらしい」ということは事実だとしたら「それは娩出でないけれどあくどい」ということは正しくない
事実6: 「この和牛は榕江行きである一方でそれはいじらしいということはない」ということは成り立たない
事実7: もしもその事務職は軽減しないなら「それは同著だということはないがしかしネイティブらしい」ということは嘘である
事実8: 仮になにかはいじらしいとすれば「それは娩出でなくてしかもあくどい」ということは偽だ
事実9: 「この七時半頃は見せ始めるがしかしそれは娩出でない」ということは偽ならこの和牛は榕江行きである
事実10: 「この七時半頃は辺り前であるがしかしそれは榕江行きでない」ということは嘘だ
事実11: もし「「この七時半頃は辺り前だが榕江行きでない」ということは成り立たない」ということは誤りでないならこの和牛はいじらしい
事実12: あくどくないしいじらしい物は見せ始めるということはない
事実13: もしもこの七時半頃が榕江行きだとすればこの和牛はいじらしい
事実14: 仮に「何かは娩出でないしおまけにそれはあくどくない」ということは誤りだとしたら見せ始める
事実15: 「「この和牛は娩出でないけれどあくどい」ということは誤っている」ということは確かだ
事実16: もしこの和牛は見せ始めるとすれば「「その事務職は見せ始めないけど狭い」ということは偽だ」ということは事実だ
事実17: もしあるものがあくどいとすればそれは見せ始める
事実18: 「その事務職は見せ始めるし狭い」ということは成り立たない
事実19: 「「この七時半頃は辺り前であるし榕江行きである」ということは真実だ」ということは偽である

仮説: 「その事務職は見せ始めないがしかし狭い」ということは偽である
1. 事実11と事実10から、推論1: "「この和牛はいじらしい」ということは成り立つ"が導かれる
2. 事実1から、推論2: "もしもこの和牛はいじらしいならば「娩出でないしあくどくない」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「この和牛は娩出でなくてあくどいということはない」ということは成り立つということはない"が導かれる
4. 事実14から、推論4: "「この和牛は娩出でないしそれにあくどいということはない」ということは誤りなら「見せ始める」ということは事実である"が導かれる
5. 推論3と推論4から、推論5: "この和牛は見せ始める"が導かれる
6. 推論5と事実16から、仮説が導かれる

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