あの耐食は深夜労働でない
fact1: 「「木目細かいかまたは押し退けるかどちらもである」ということは成り立たない」ものはある fact2: 「「三十例であるかまたは買い増しするかまたは両方ともだ」ということは偽である」ものはある fact3: あの住宅ブームは三十例だとすると「あのアピールは買い増しするしまた三十例だ」ということは成り立たない fact4: 「あの住宅ブームは買い増しするけど三十例でない」ということは誤っている fact5: 「あのアピールは買い増しするし更にそれは三十例である」ということは誤っている fact6: 仮に「ある物は使用済み自動車であるかまたは固くないかあるいは両方である」ということは成り立つとしたらそれは緩くない fact7: 何かは押し退けない fact8: もし仮にあのアピールが三十例であるならばあの耐食は深夜労働である fact9: もしもあのアピールは三十例であるならば「あの住宅ブームは買い増しするがそれは三十例でない」ということは間違いである fact10: 仮に「あのアピールは買い増しするがしかし三十例であるということはない」ということは成り立たないとしたらあの耐食は深夜労働だ fact11: もしもあの住宅ブームが可笑しいならばそれは使用済み自動車であるか固くないかもしくは両方だ fact12: 「「木目細かいか押し退けるかもしくは両方ともだ」ということは確かでない」ものがあるならばあの住宅ブームは三十例だ fact13: 「「木目細かくない」ということは真実な」物はある fact14: 「木目細かいかあるいは押し退けるかあるいは両方ともである」ものはある fact15: もしもなんらかの物が承知出来れば買い増ししなくてかつ三十例だ fact16: もしもある物が小さいとすればそれは承知出来る fact17: あのアピールは木目細かい fact18: もしあの住宅ブームが緩くないとしたらあの耐食は一巡りするし加えて小さい fact19: 「あの住宅ブームは深夜労働であるけれどそれは三十例でない」ということは誤りである fact20: もしなにかは買い増ししないが三十例だとすると深夜労働でない fact21: もし仮にあの住宅ブームは三十例であるなら「あのアピールは買い増しするがしかし三十例でない」ということは誤りである
fact1 & fact12 -> int1: あの住宅ブームは三十例だ; int1 & fact21 -> int2: 「あのアピールは買い増しするけど三十例でない」ということは成り立たない; int2 & fact10 -> hypothesis;
fact1 & fact12 -> int1: {A}{a}; int1 & fact21 -> int2: ¬({C}{b} & ¬{A}{b}); int2 & fact10 -> hypothesis;
あの耐食は深夜労働でない
fact22 -> int3: 仮にあの耐食は買い増しするということはないが三十例なら深夜労働でない; fact23 -> int4: 「仮にあの耐食が承知出来るとしたらあの耐食は買い増しするということはない一方で三十例である」ということは成り立つ; fact27 -> int5: あの耐食が小さいとするとそれは承知出来る; fact24 -> int6: もしあの住宅ブームが使用済み自動車であるかあるいはそれが固くないとするとそれは緩くない;
$facts$ = fact1: 「「木目細かいかまたは押し退けるかどちらもである」ということは成り立たない」ものはある fact2: 「「三十例であるかまたは買い増しするかまたは両方ともだ」ということは偽である」ものはある fact3: あの住宅ブームは三十例だとすると「あのアピールは買い増しするしまた三十例だ」ということは成り立たない fact4: 「あの住宅ブームは買い増しするけど三十例でない」ということは誤っている fact5: 「あのアピールは買い増しするし更にそれは三十例である」ということは誤っている fact6: 仮に「ある物は使用済み自動車であるかまたは固くないかあるいは両方である」ということは成り立つとしたらそれは緩くない fact7: 何かは押し退けない fact8: もし仮にあのアピールが三十例であるならばあの耐食は深夜労働である fact9: もしもあのアピールは三十例であるならば「あの住宅ブームは買い増しするがそれは三十例でない」ということは間違いである fact10: 仮に「あのアピールは買い増しするがしかし三十例であるということはない」ということは成り立たないとしたらあの耐食は深夜労働だ fact11: もしもあの住宅ブームが可笑しいならばそれは使用済み自動車であるか固くないかもしくは両方だ fact12: 「「木目細かいか押し退けるかもしくは両方ともだ」ということは確かでない」ものがあるならばあの住宅ブームは三十例だ fact13: 「「木目細かくない」ということは真実な」物はある fact14: 「木目細かいかあるいは押し退けるかあるいは両方ともである」ものはある fact15: もしもなんらかの物が承知出来れば買い増ししなくてかつ三十例だ fact16: もしもある物が小さいとすればそれは承知出来る fact17: あのアピールは木目細かい fact18: もしあの住宅ブームが緩くないとしたらあの耐食は一巡りするし加えて小さい fact19: 「あの住宅ブームは深夜労働であるけれどそれは三十例でない」ということは誤りである fact20: もしなにかは買い増ししないが三十例だとすると深夜労働でない fact21: もし仮にあの住宅ブームは三十例であるなら「あのアピールは買い増しするがしかし三十例でない」ということは誤りである ; $hypothesis$ = あの耐食は深夜労働でない ; $proof$ = 
fact1 & fact12 -> int1: あの住宅ブームは三十例だ; int1 & fact21 -> int2: 「あのアピールは買い増しするけど三十例でない」ということは成り立たない; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: 「「木目細かいかまたは押し退けるかどちらもである」ということは成り立たない」ものはある
事実2: 「「三十例であるかまたは買い増しするかまたは両方ともだ」ということは偽である」ものはある
事実3: あの住宅ブームは三十例だとすると「あのアピールは買い増しするしまた三十例だ」ということは成り立たない
事実4: 「あの住宅ブームは買い増しするけど三十例でない」ということは誤っている
事実5: 「あのアピールは買い増しするし更にそれは三十例である」ということは誤っている
事実6: 仮に「ある物は使用済み自動車であるかまたは固くないかあるいは両方である」ということは成り立つとしたらそれは緩くない
事実7: 何かは押し退けない
事実8: もし仮にあのアピールが三十例であるならばあの耐食は深夜労働である
事実9: もしもあのアピールは三十例であるならば「あの住宅ブームは買い増しするがそれは三十例でない」ということは間違いである
事実10: 仮に「あのアピールは買い増しするがしかし三十例であるということはない」ということは成り立たないとしたらあの耐食は深夜労働だ
事実11: もしもあの住宅ブームが可笑しいならばそれは使用済み自動車であるか固くないかもしくは両方だ
事実12: 「「木目細かいか押し退けるかもしくは両方ともだ」ということは確かでない」ものがあるならばあの住宅ブームは三十例だ
事実13: 「「木目細かくない」ということは真実な」物はある
事実14: 「木目細かいかあるいは押し退けるかあるいは両方ともである」ものはある
事実15: もしもなんらかの物が承知出来れば買い増ししなくてかつ三十例だ
事実16: もしもある物が小さいとすればそれは承知出来る
事実17: あのアピールは木目細かい
事実18: もしあの住宅ブームが緩くないとしたらあの耐食は一巡りするし加えて小さい
事実19: 「あの住宅ブームは深夜労働であるけれどそれは三十例でない」ということは誤りである
事実20: もしなにかは買い増ししないが三十例だとすると深夜労働でない
事実21: もし仮にあの住宅ブームは三十例であるなら「あのアピールは買い増しするがしかし三十例でない」ということは誤りである

仮説: あの耐食は深夜労働でない
1. 事実1と事実12から、推論1: "あの住宅ブームは三十例だ"が導かれる
2. 推論1と事実21から、推論2: "「あのアピールは買い増しするけど三十例でない」ということは成り立たない"が導かれる
3. 推論2と事実10から、仮説が否定される

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