「この葡萄棚は貯金しない一方で恭しい」ということは成り立つということはない
fact1: 「仮にある物は犯し易いなら「貯金しないけれど恭しい」ということは成り立たない」ということは嘘でない fact2: この葡萄棚は恭しい fact3: もし仮にあの魏書釈老志がヘアライン仕上げするなら酒臭い fact4: もし「犯し易い」物はあるとすると「あの数十軒は詮無くないがしかし裳着である」ということは間違っている fact5: もし仮にあの魏書釈老志が言えるならヘアライン仕上げする fact6: 「あるものは犯し易い」ということは確かである fact7: もしその転落事故は一投足なら「裳着だ」ということは確かだ fact8: あの魏書釈老志は急旋回である fact9: もしもあの魏書釈老志が説明し難いがそれが狙われ易くないならば言える fact10: もしあの数十軒が酒臭くてヘアライン仕上げするとしたらこの葡萄棚は言えらない fact11: もし仮に「何かは詮無い」ということは正しいとすれば犯し易い fact12: もし仮になんらかのものが裳着だということはないならばそれは呼称する fact13: もしも「ある物は詮無くないけれど裳着だ」ということは成り立たないとするとそれは呼称する fact14: もし仮にこの葡萄棚が言えらないとすると恭しい fact15: もしもあの魏書釈老志は急旋回であるとすれば説明し難いが狙われ易くない fact16: 仮になんらかの物が言えないならばそれは貯金しないけれど恭しい fact17: あの数十軒はヘアライン仕上げするし狙われ易い fact18: あの数十軒は狙われ易い fact19: もし何かは言えらないとすれば恭しい fact20: もし仮にあの数十軒が呼称するなら酒臭い
fact6 & fact4 -> int1: 「あの数十軒は詮無くないけれど裳着だ」ということは嘘である; fact13 -> int2: 仮に「あの数十軒は詮無くない一方で裳着である」ということは間違いだとするとそれは呼称する; int1 & int2 -> int3: 「あの数十軒は呼称する」ということは成り立つ; int3 & fact20 -> int4: あの数十軒は酒臭い; fact17 -> int5: あの数十軒はヘアライン仕上げする; int4 & int5 -> int6: あの数十軒は酒臭くてそれにヘアライン仕上げする; int6 & fact10 -> int7: この葡萄棚は言えらない; fact16 -> int8: もしこの葡萄棚が言えらないとすれば貯金するということはないが恭しい; int7 & int8 -> hypothesis;
「この葡萄棚は貯金するということはないが恭しい」ということは事実と異なる
fact21 -> int9: もしも「この葡萄棚は犯し易い」ということは確かだとしたら「貯金しなくてかつそれは恭しい」ということは成り立たない; fact23 -> int10: もしもこの葡萄棚が詮無いならそれは犯し易い; fact24 & fact27 -> int11: あの魏書釈老志は説明し難いけれど狙われ易いということはない; fact22 & int11 -> int12: あの魏書釈老志は言える; fact26 & int12 -> int13: あの魏書釈老志はヘアライン仕上げする; fact25 & int13 -> int14: あの魏書釈老志は酒臭い; int14 -> int15: なにがしかのものは酒臭い;
$facts$ = fact1: 「仮にある物は犯し易いなら「貯金しないけれど恭しい」ということは成り立たない」ということは嘘でない fact2: この葡萄棚は恭しい fact3: もし仮にあの魏書釈老志がヘアライン仕上げするなら酒臭い fact4: もし「犯し易い」物はあるとすると「あの数十軒は詮無くないがしかし裳着である」ということは間違っている fact5: もし仮にあの魏書釈老志が言えるならヘアライン仕上げする fact6: 「あるものは犯し易い」ということは確かである fact7: もしその転落事故は一投足なら「裳着だ」ということは確かだ fact8: あの魏書釈老志は急旋回である fact9: もしもあの魏書釈老志が説明し難いがそれが狙われ易くないならば言える fact10: もしあの数十軒が酒臭くてヘアライン仕上げするとしたらこの葡萄棚は言えらない fact11: もし仮に「何かは詮無い」ということは正しいとすれば犯し易い fact12: もし仮になんらかのものが裳着だということはないならばそれは呼称する fact13: もしも「ある物は詮無くないけれど裳着だ」ということは成り立たないとするとそれは呼称する fact14: もし仮にこの葡萄棚が言えらないとすると恭しい fact15: もしもあの魏書釈老志は急旋回であるとすれば説明し難いが狙われ易くない fact16: 仮になんらかの物が言えないならばそれは貯金しないけれど恭しい fact17: あの数十軒はヘアライン仕上げするし狙われ易い fact18: あの数十軒は狙われ易い fact19: もし何かは言えらないとすれば恭しい fact20: もし仮にあの数十軒が呼称するなら酒臭い ; $hypothesis$ = 「この葡萄棚は貯金しない一方で恭しい」ということは成り立つということはない ; $proof$ = 
fact6 & fact4 -> int1: 「あの数十軒は詮無くないけれど裳着だ」ということは嘘である; fact13 -> int2: 仮に「あの数十軒は詮無くない一方で裳着である」ということは間違いだとするとそれは呼称する; int1 & int2 -> int3: 「あの数十軒は呼称する」ということは成り立つ; int3 & fact20 -> int4: あの数十軒は酒臭い; fact17 -> int5: あの数十軒はヘアライン仕上げする; int4 & int5 -> int6: あの数十軒は酒臭くてそれにヘアライン仕上げする; int6 & fact10 -> int7: この葡萄棚は言えらない; fact16 -> int8: もしこの葡萄棚が言えらないとすれば貯金するということはないが恭しい; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 「仮にある物は犯し易いなら「貯金しないけれど恭しい」ということは成り立たない」ということは嘘でない
事実2: この葡萄棚は恭しい
事実3: もし仮にあの魏書釈老志がヘアライン仕上げするなら酒臭い
事実4: もし「犯し易い」物はあるとすると「あの数十軒は詮無くないがしかし裳着である」ということは間違っている
事実5: もし仮にあの魏書釈老志が言えるならヘアライン仕上げする
事実6: 「あるものは犯し易い」ということは確かである
事実7: もしその転落事故は一投足なら「裳着だ」ということは確かだ
事実8: あの魏書釈老志は急旋回である
事実9: もしもあの魏書釈老志が説明し難いがそれが狙われ易くないならば言える
事実10: もしあの数十軒が酒臭くてヘアライン仕上げするとしたらこの葡萄棚は言えらない
事実11: もし仮に「何かは詮無い」ということは正しいとすれば犯し易い
事実12: もし仮になんらかのものが裳着だということはないならばそれは呼称する
事実13: もしも「ある物は詮無くないけれど裳着だ」ということは成り立たないとするとそれは呼称する
事実14: もし仮にこの葡萄棚が言えらないとすると恭しい
事実15: もしもあの魏書釈老志は急旋回であるとすれば説明し難いが狙われ易くない
事実16: 仮になんらかの物が言えないならばそれは貯金しないけれど恭しい
事実17: あの数十軒はヘアライン仕上げするし狙われ易い
事実18: あの数十軒は狙われ易い
事実19: もし何かは言えらないとすれば恭しい
事実20: もし仮にあの数十軒が呼称するなら酒臭い

仮説: 「この葡萄棚は貯金しない一方で恭しい」ということは成り立つということはない
1. 事実6と事実4から、推論1: "「あの数十軒は詮無くないけれど裳着だ」ということは嘘である"が導かれる
2. 事実13から、推論2: "仮に「あの数十軒は詮無くない一方で裳着である」ということは間違いだとするとそれは呼称する"が導かれる
3. 推論1と推論2から、推論3: "「あの数十軒は呼称する」ということは成り立つ"が導かれる
4. 推論3と事実20から、推論4: "あの数十軒は酒臭い"が導かれる
5. 事実17から、推論5: "あの数十軒はヘアライン仕上げする"が導かれる
6. 推論4と推論5から、推論6: "あの数十軒は酒臭くてそれにヘアライン仕上げする"が導かれる
7. 推論6と事実10から、推論7: "この葡萄棚は言えらない"が導かれる
8. 事実16から、推論8: "もしこの葡萄棚が言えらないとすれば貯金するということはないが恭しい"が導かれる
9. 推論7と推論8から、仮説が否定される

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