「そのジグソーパズルは平べったくないがしかしそれは丸っこい」ということは成り立たない
fact1: この保存料が失地だとしたらその模範型は失地である fact2: 「そのジグソーパズルは暴行しない」ということは成り立つ fact3: 仮にとあるものは暴行しないがＢ群なら来易い fact4: ある物が挺するなら犯し難い fact5: もしその模範型が失地であるとすればあの先物外国為替契約は犯し難いけれどそれは解けない fact6: 仮に犯し難くない物はあるなら「あの縦・横は挺するしおまけにＬＤＫだ」ということは成り立つということはない fact7: 仮にあの縦・横は丸っこくないならば「そのジグソーパズルは平べったくないけれどそれは丸っこい」ということは本当でない fact8: もしもこの保存料が内通するとしたらその模範型は失地だ fact9: もしもその模範型が藩邸であるしそれが引き受けするとするとその先物外国為替契約は引き受けしない fact10: あの縦・横が丸っこいとしたら暴行しないがＢ群だ fact11: この保存料は失地であるか内通する fact12: あの告別式は解けない fact13: もしもその模範型が失地ならその先物外国為替契約は犯し難い fact14: その模範型は当該建築物等でない fact15: あの縦・横は暴行しない fact16: もしもあの縦・横が来易くない一方でそれが挺するとするとそのジグソーパズルは来易い fact17: 仮に「その先物外国為替契約は犯し難いがしかし解けない」ということは正しいとするとあの粉チーズは犯し難くない fact18: もしもあるものがＬＤＫでないなら来易いかあるいはそれは丸っこくない fact19: もしあの告別式が解けないならばそれは犯し難くないし挺しない fact20: もし仮にあの縦・横が来易いとするとこの建築史上はＬＤＫだ fact21: もしその模範型は当該建築物等でないとしたら藩邸で引き受けする fact22: 「「内通しなくておまけに痩せ難くない」ということは嘘である」物があるとしたらあの粉チーズは仲睦まじくない fact23: 仮にこの建築史上がＬＤＫであるとするとあの粉チーズは挺する fact24: その先物外国為替契約は犯し難い fact25: 仮になんらかのものは引き受けしないなら「内通しないしさらに痩せ難くない」ということは間違っている fact26: 仮にあの縦・横が丸っこいならそれは暴行するということはない fact27: 来易い物は平べったくないけれど丸っこい fact28: 「なにかは解けるか失地であるかあるいは両方である」ということは成り立たないとすると犯し難いということはない fact29: 「そのジグソーパズルは平べったいしかつ丸っこい」ということは成り立たない fact30: もしこの保存料が犯し難いならあの縦・横は失地であるけれどそれはＢ群でない fact31: 「仲睦まじくない」物はあるとしたら「この建築史上は解けるかそれは失地である」ということは事実と異なる
void -> assump1: 以下のように仮定する。「あの縦・横は丸っこい」ということは成り立つ; fact10 & assump1 -> int1: あの縦・横は暴行しないけれどＢ群だ; fact3 -> int2: 仮にあの縦・横は暴行しないがＢ群であるならば「来易い」ということは本当である; int1 & int2 -> int3: あの縦・横は来易い; int3 & fact20 -> int4: この建築史上はＬＤＫである; int4 & fact23 -> int5: あの粉チーズは挺する; fact4 -> int6: 「もしもあの粉チーズが挺するとするとあの粉チーズは犯し難い」ということは成り立つ; int5 & int6 -> int7: あの粉チーズは犯し難い; fact8 & fact11 & fact1 -> int8: その模範型は失地だ; fact5 & int8 -> int9: その先物外国為替契約は犯し難いけど解けない; fact17 & int9 -> int10: あの粉チーズは犯し難くない; int7 & int10 -> int11: これは矛盾である; [assump1] & int11 -> int12: あの縦・横は丸っこくない; int12 & fact7 -> hypothesis;
そのジグソーパズルは平べったくないけれど丸っこい
fact32 -> int13: もしも「そのジグソーパズルは来易い」ということは事実であるとすれば平べったいということはないがしかし丸っこい; fact39 -> int14: 仮に「この建築史上は解けるかもしくはそれは失地である」ということは嘘ならば「犯し難い」ということは間違いだ; fact38 -> int15: もしその先物外国為替契約は引き受けするということはないなら「内通しなくて加えて痩せ難いということはない」ということは誤りだ; fact34 & fact36 -> int16: その模範型は藩邸でおまけにそれは引き受けする; fact35 & int16 -> int17: その先物外国為替契約は引き受けしない; int15 & int17 -> int18: 「その先物外国為替契約は内通するということはなくてしかも痩せ難くない」ということは誤りだ; int18 -> int19: 「「内通しないししかも痩せ難いということはない」ということは誤っている」物はある; int19 & fact40 -> int20: あの粉チーズは仲睦まじくない; int20 -> int21: 「仲睦まじくない」物はある; int21 & fact37 -> int22: 「この建築史上は解けるかあるいは失地であるかもしくは両方ともである」ということは間違いだ; int14 & int22 -> int23: この建築史上は犯し難くない; int23 -> int24: 「犯し難くない」ものはある; int24 & fact33 -> int25: 「あの縦・横は挺するしまたＬＤＫである」ということは成り立たない; int25 -> int26: 「「挺するしさらにＬＤＫだ」ということは嘘な」ものはある;
$facts$ = fact1: この保存料が失地だとしたらその模範型は失地である fact2: 「そのジグソーパズルは暴行しない」ということは成り立つ fact3: 仮にとあるものは暴行しないがＢ群なら来易い fact4: ある物が挺するなら犯し難い fact5: もしその模範型が失地であるとすればあの先物外国為替契約は犯し難いけれどそれは解けない fact6: 仮に犯し難くない物はあるなら「あの縦・横は挺するしおまけにＬＤＫだ」ということは成り立つということはない fact7: 仮にあの縦・横は丸っこくないならば「そのジグソーパズルは平べったくないけれどそれは丸っこい」ということは本当でない fact8: もしもこの保存料が内通するとしたらその模範型は失地だ fact9: もしもその模範型が藩邸であるしそれが引き受けするとするとその先物外国為替契約は引き受けしない fact10: あの縦・横が丸っこいとしたら暴行しないがＢ群だ fact11: この保存料は失地であるか内通する fact12: あの告別式は解けない fact13: もしもその模範型が失地ならその先物外国為替契約は犯し難い fact14: その模範型は当該建築物等でない fact15: あの縦・横は暴行しない fact16: もしもあの縦・横が来易くない一方でそれが挺するとするとそのジグソーパズルは来易い fact17: 仮に「その先物外国為替契約は犯し難いがしかし解けない」ということは正しいとするとあの粉チーズは犯し難くない fact18: もしもあるものがＬＤＫでないなら来易いかあるいはそれは丸っこくない fact19: もしあの告別式が解けないならばそれは犯し難くないし挺しない fact20: もし仮にあの縦・横が来易いとするとこの建築史上はＬＤＫだ fact21: もしその模範型は当該建築物等でないとしたら藩邸で引き受けする fact22: 「「内通しなくておまけに痩せ難くない」ということは嘘である」物があるとしたらあの粉チーズは仲睦まじくない fact23: 仮にこの建築史上がＬＤＫであるとするとあの粉チーズは挺する fact24: その先物外国為替契約は犯し難い fact25: 仮になんらかのものは引き受けしないなら「内通しないしさらに痩せ難くない」ということは間違っている fact26: 仮にあの縦・横が丸っこいならそれは暴行するということはない fact27: 来易い物は平べったくないけれど丸っこい fact28: 「なにかは解けるか失地であるかあるいは両方である」ということは成り立たないとすると犯し難いということはない fact29: 「そのジグソーパズルは平べったいしかつ丸っこい」ということは成り立たない fact30: もしこの保存料が犯し難いならあの縦・横は失地であるけれどそれはＢ群でない fact31: 「仲睦まじくない」物はあるとしたら「この建築史上は解けるかそれは失地である」ということは事実と異なる ; $hypothesis$ = 「そのジグソーパズルは平べったくないがしかしそれは丸っこい」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの縦・横は丸っこい」ということは成り立つ; fact10 & assump1 -> int1: あの縦・横は暴行しないけれどＢ群だ; fact3 -> int2: 仮にあの縦・横は暴行しないがＢ群であるならば「来易い」ということは本当である; int1 & int2 -> int3: あの縦・横は来易い; int3 & fact20 -> int4: この建築史上はＬＤＫである; int4 & fact23 -> int5: あの粉チーズは挺する; fact4 -> int6: 「もしもあの粉チーズが挺するとするとあの粉チーズは犯し難い」ということは成り立つ; int5 & int6 -> int7: あの粉チーズは犯し難い; fact8 & fact11 & fact1 -> int8: その模範型は失地だ; fact5 & int8 -> int9: その先物外国為替契約は犯し難いけど解けない; fact17 & int9 -> int10: あの粉チーズは犯し難くない; int7 & int10 -> int11: これは矛盾である; [assump1] & int11 -> int12: あの縦・横は丸っこくない; int12 & fact7 -> hypothesis; __PROVED__
事実1: この保存料が失地だとしたらその模範型は失地である
事実2: 「そのジグソーパズルは暴行しない」ということは成り立つ
事実3: 仮にとあるものは暴行しないがＢ群なら来易い
事実4: ある物が挺するなら犯し難い
事実5: もしその模範型が失地であるとすればあの先物外国為替契約は犯し難いけれどそれは解けない
事実6: 仮に犯し難くない物はあるなら「あの縦・横は挺するしおまけにＬＤＫだ」ということは成り立つということはない
事実7: 仮にあの縦・横は丸っこくないならば「そのジグソーパズルは平べったくないけれどそれは丸っこい」ということは本当でない
事実8: もしもこの保存料が内通するとしたらその模範型は失地だ
事実9: もしもその模範型が藩邸であるしそれが引き受けするとするとその先物外国為替契約は引き受けしない
事実10: あの縦・横が丸っこいとしたら暴行しないがＢ群だ
事実11: この保存料は失地であるか内通する
事実12: あの告別式は解けない
事実13: もしもその模範型が失地ならその先物外国為替契約は犯し難い
事実14: その模範型は当該建築物等でない
事実15: あの縦・横は暴行しない
事実16: もしもあの縦・横が来易くない一方でそれが挺するとするとそのジグソーパズルは来易い
事実17: 仮に「その先物外国為替契約は犯し難いがしかし解けない」ということは正しいとするとあの粉チーズは犯し難くない
事実18: もしもあるものがＬＤＫでないなら来易いかあるいはそれは丸っこくない
事実19: もしあの告別式が解けないならばそれは犯し難くないし挺しない
事実20: もし仮にあの縦・横が来易いとするとこの建築史上はＬＤＫだ
事実21: もしその模範型は当該建築物等でないとしたら藩邸で引き受けする
事実22: 「「内通しなくておまけに痩せ難くない」ということは嘘である」物があるとしたらあの粉チーズは仲睦まじくない
事実23: 仮にこの建築史上がＬＤＫであるとするとあの粉チーズは挺する
事実24: その先物外国為替契約は犯し難い
事実25: 仮になんらかのものは引き受けしないなら「内通しないしさらに痩せ難くない」ということは間違っている
事実26: 仮にあの縦・横が丸っこいならそれは暴行するということはない
事実27: 来易い物は平べったくないけれど丸っこい
事実28: 「なにかは解けるか失地であるかあるいは両方である」ということは成り立たないとすると犯し難いということはない
事実29: 「そのジグソーパズルは平べったいしかつ丸っこい」ということは成り立たない
事実30: もしこの保存料が犯し難いならあの縦・横は失地であるけれどそれはＢ群でない
事実31: 「仲睦まじくない」物はあるとしたら「この建築史上は解けるかそれは失地である」ということは事実と異なる

仮説: 「そのジグソーパズルは平べったくないがしかしそれは丸っこい」ということは成り立たない
1. 仮定1: 以下のように仮定する。「あの縦・横は丸っこい」ということは成り立つ
2. 事実10と仮定1から、推論1: "あの縦・横は暴行しないけれどＢ群だ"が導かれる
3. 事実3から、推論2: "仮にあの縦・横は暴行しないがＢ群であるならば「来易い」ということは本当である"が導かれる
4. 推論1と推論2から、推論3: "あの縦・横は来易い"が導かれる
5. 推論3と事実20から、推論4: "この建築史上はＬＤＫである"が導かれる
6. 推論4と事実23から、推論5: "あの粉チーズは挺する"が導かれる
7. 事実4から、推論6: "「もしもあの粉チーズが挺するとするとあの粉チーズは犯し難い」ということは成り立つ"が導かれる
8. 推論5と推論6から、推論7: "あの粉チーズは犯し難い"が導かれる
9. 事実8と事実11と事実1から、推論8: "その模範型は失地だ"が導かれる
10. 事実5と推論8から、推論9: "その先物外国為替契約は犯し難いけど解けない"が導かれる
11. 事実17と推論9から、推論10: "あの粉チーズは犯し難くない"が導かれる
12. 推論7と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、推論12: "あの縦・横は丸っこくない"が導かれる
14. 推論12と事実7から、仮説が導かれる

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