この一般事業会社は末広がりでない
fact1: その十三種類は白状しない fact2: この一般事業会社は通じ易くないかまたは号泣しないか両方である fact3: あの眼鏡作りは白状しない fact4: この一般事業会社は通じ易い fact5: もしもとあるものは心細いとしたら「それは通じ易いということはないかあるいはそれは号泣するということはない」ということは成り立たない fact6: なにがしかの物は心細くないけれど花開くとすれば蚊取り線香である fact7: 「蚊取り線香は十年当時である」ということは成り立つ fact8: もし仮にその十三種類が末広がりでないとすればこの労使トラブルは蚊取り線香でない fact9: この一般事業会社は公衆衛生従事者だ fact10: もしその十三種類が白状するということはないならばこの一般事業会社は花開くしかつ公衆衛生従事者である fact11: 仮になんらかのものは十年当時であるとしたらそれは末広がりである fact12: もしその十三種類は公衆衛生従事者であるならば十年当時である fact13: この一般事業会社は通じ易いか号泣しないかもしくはどちらもだ fact14: その十三種類は公衆衛生従事者である
fact5 -> int1: この一般事業会社は心細いならば「それは通じ易くないかまたは号泣しないかまたは両方ともである」ということは確かでない; void -> assump1: 以下のように仮定する。この一般事業会社は心細い; int1 & assump1 -> int2: 「この一般事業会社は通じ易くないか号泣しないか両方だ」ということは誤りだ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この一般事業会社は心細くない; fact10 & fact1 -> int5: この一般事業会社は花開くし加えてそれは公衆衛生従事者である; int5 -> int6: この一般事業会社は花開く; int4 & int6 -> int7: この一般事業会社は心細くないがしかし花開く; fact6 -> int8: この一般事業会社が心細いということはないがそれが花開くとしたらそれは蚊取り線香だ; int7 & int8 -> int9: この一般事業会社は蚊取り線香だ; fact7 -> int10: もし仮にこの一般事業会社は蚊取り線香であるなら十年当時である; int9 & int10 -> int11: この一般事業会社は十年当時である; fact11 -> int12: もし仮にこの一般事業会社が十年当時だとすると末広がりだ; int11 & int12 -> hypothesis;
この労使トラブルは通じ易くない
fact17 & fact16 -> int13: その十三種類は十年当時である;
$facts$ = fact1: その十三種類は白状しない fact2: この一般事業会社は通じ易くないかまたは号泣しないか両方である fact3: あの眼鏡作りは白状しない fact4: この一般事業会社は通じ易い fact5: もしもとあるものは心細いとしたら「それは通じ易いということはないかあるいはそれは号泣するということはない」ということは成り立たない fact6: なにがしかの物は心細くないけれど花開くとすれば蚊取り線香である fact7: 「蚊取り線香は十年当時である」ということは成り立つ fact8: もし仮にその十三種類が末広がりでないとすればこの労使トラブルは蚊取り線香でない fact9: この一般事業会社は公衆衛生従事者だ fact10: もしその十三種類が白状するということはないならばこの一般事業会社は花開くしかつ公衆衛生従事者である fact11: 仮になんらかのものは十年当時であるとしたらそれは末広がりである fact12: もしその十三種類は公衆衛生従事者であるならば十年当時である fact13: この一般事業会社は通じ易いか号泣しないかもしくはどちらもだ fact14: その十三種類は公衆衛生従事者である ; $hypothesis$ = この一般事業会社は末広がりでない ; $proof$ = 
fact5 -> int1: この一般事業会社は心細いならば「それは通じ易くないかまたは号泣しないかまたは両方ともである」ということは確かでない; void -> assump1: 以下のように仮定する。この一般事業会社は心細い; int1 & assump1 -> int2: 「この一般事業会社は通じ易くないか号泣しないか両方だ」ということは誤りだ; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この一般事業会社は心細くない; fact10 & fact1 -> int5: この一般事業会社は花開くし加えてそれは公衆衛生従事者である; int5 -> int6: この一般事業会社は花開く; int4 & int6 -> int7: この一般事業会社は心細くないがしかし花開く; fact6 -> int8: この一般事業会社が心細いということはないがそれが花開くとしたらそれは蚊取り線香だ; int7 & int8 -> int9: この一般事業会社は蚊取り線香だ; fact7 -> int10: もし仮にこの一般事業会社は蚊取り線香であるなら十年当時である; int9 & int10 -> int11: この一般事業会社は十年当時である; fact11 -> int12: もし仮にこの一般事業会社が十年当時だとすると末広がりだ; int11 & int12 -> hypothesis; __DISPROVED__
事実1: その十三種類は白状しない
事実2: この一般事業会社は通じ易くないかまたは号泣しないか両方である
事実3: あの眼鏡作りは白状しない
事実4: この一般事業会社は通じ易い
事実5: もしもとあるものは心細いとしたら「それは通じ易いということはないかあるいはそれは号泣するということはない」ということは成り立たない
事実6: なにがしかの物は心細くないけれど花開くとすれば蚊取り線香である
事実7: 「蚊取り線香は十年当時である」ということは成り立つ
事実8: もし仮にその十三種類が末広がりでないとすればこの労使トラブルは蚊取り線香でない
事実9: この一般事業会社は公衆衛生従事者だ
事実10: もしその十三種類が白状するということはないならばこの一般事業会社は花開くしかつ公衆衛生従事者である
事実11: 仮になんらかのものは十年当時であるとしたらそれは末広がりである
事実12: もしその十三種類は公衆衛生従事者であるならば十年当時である
事実13: この一般事業会社は通じ易いか号泣しないかもしくはどちらもだ
事実14: その十三種類は公衆衛生従事者である

仮説: この一般事業会社は末広がりでない
1. 事実5から、推論1: "この一般事業会社は心細いならば「それは通じ易くないかまたは号泣しないかまたは両方ともである」ということは確かでない"が導かれる
2. 仮定1: 以下のように仮定する。この一般事業会社は心細い
3. 推論1と仮定1から、推論2: "「この一般事業会社は通じ易くないか号泣しないか両方だ」ということは誤りだ"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この一般事業会社は心細くない"が導かれる
6. 事実10と事実1から、推論5: "この一般事業会社は花開くし加えてそれは公衆衛生従事者である"が導かれる
7. 推論5から、推論6: "この一般事業会社は花開く"が導かれる
8. 推論4と推論6から、推論7: "この一般事業会社は心細くないがしかし花開く"が導かれる
9. 事実6から、推論8: "この一般事業会社が心細いということはないがそれが花開くとしたらそれは蚊取り線香だ"が導かれる
10. 推論7と推論8から、推論9: "この一般事業会社は蚊取り線香だ"が導かれる
11. 事実7から、推論10: "もし仮にこの一般事業会社は蚊取り線香であるなら十年当時である"が導かれる
12. 推論9と推論10から、推論11: "この一般事業会社は十年当時である"が導かれる
13. 事実11から、推論12: "もし仮にこの一般事業会社が十年当時だとすると末広がりだ"が導かれる
14. 推論11と推論12から、仮説が否定される

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