この労働者協同組合は行軍しない
fact1: その人件費削減が柔くないなら麗しい fact2: その人件費削減は柔いかもしくはそれは身体障害者福祉司である fact3: 仮に何らかのものは行軍しないかまたは麗しいかまたはどちらもなら身体障害者福祉司だ fact4: その人件費削減は身体障害者福祉司だ fact5: その発掘成果は柔くないか厭わしいか両方ともである fact6: あの背泳ぎは麗しい fact7: その人件費削減は日本鉄道である fact8: もしもその人件費削減が身体障害者福祉司であるとしたらこの労働者協同組合は柔い fact9: その人件費削減は惑う fact10: その人件費削減は行軍する fact11: この労働者協同組合は身体障害者福祉司である fact12: この労働者協同組合は麗しい fact13: 柔くない物は麗しい fact14: 何かは柔くないかあるいは身体障害者福祉司であるかもしくは両方ともであるとしたらそれは麗しい fact15: とあるものは柔いということはないとするとそれは行軍するしさらに身体障害者福祉司でない fact16: この労働者協同組合は保護出来ないかまたは柔い fact17: その人件費削減が行軍するがしかし身体障害者福祉司でないとすればあの労働者協同組合は行軍しない fact18: この労働者協同組合は柔い fact19: もしこの労働者協同組合は身体障害者福祉司でないかもしくはそれは行軍するかまたはどちらもだとすると「それは麗しい」ということは確かだ fact20: もしその人件費削減が麗しいならばあの労働者協同組合は行軍する
fact4 -> int1: その人件費削減は柔くないかもしくはそれは身体障害者福祉司であるかまたは両方だ; fact14 -> int2: 仮にその人件費削減は柔くないか身体障害者福祉司であるかあるいは両方であるとすれば麗しい; int1 & int2 -> int3: その人件費削減は麗しい; int3 & fact20 -> hypothesis;
fact4 -> int1: (¬{A}{a} v {B}{a}); fact14 -> int2: (¬{A}{a} v {B}{a}) -> {C}{a}; int1 & int2 -> int3: {C}{a}; int3 & fact20 -> hypothesis;
「この労働者協同組合は行軍するということはない」ということは真実である
fact21 -> int4: もし仮にその人件費削減は柔くないならそれは行軍するけれど身体障害者福祉司であるということはない;
$facts$ = fact1: その人件費削減が柔くないなら麗しい fact2: その人件費削減は柔いかもしくはそれは身体障害者福祉司である fact3: 仮に何らかのものは行軍しないかまたは麗しいかまたはどちらもなら身体障害者福祉司だ fact4: その人件費削減は身体障害者福祉司だ fact5: その発掘成果は柔くないか厭わしいか両方ともである fact6: あの背泳ぎは麗しい fact7: その人件費削減は日本鉄道である fact8: もしもその人件費削減が身体障害者福祉司であるとしたらこの労働者協同組合は柔い fact9: その人件費削減は惑う fact10: その人件費削減は行軍する fact11: この労働者協同組合は身体障害者福祉司である fact12: この労働者協同組合は麗しい fact13: 柔くない物は麗しい fact14: 何かは柔くないかあるいは身体障害者福祉司であるかもしくは両方ともであるとしたらそれは麗しい fact15: とあるものは柔いということはないとするとそれは行軍するしさらに身体障害者福祉司でない fact16: この労働者協同組合は保護出来ないかまたは柔い fact17: その人件費削減が行軍するがしかし身体障害者福祉司でないとすればあの労働者協同組合は行軍しない fact18: この労働者協同組合は柔い fact19: もしこの労働者協同組合は身体障害者福祉司でないかもしくはそれは行軍するかまたはどちらもだとすると「それは麗しい」ということは確かだ fact20: もしその人件費削減が麗しいならばあの労働者協同組合は行軍する ; $hypothesis$ = この労働者協同組合は行軍しない ; $proof$ = 
fact4 -> int1: その人件費削減は柔くないかもしくはそれは身体障害者福祉司であるかまたは両方だ; fact14 -> int2: 仮にその人件費削減は柔くないか身体障害者福祉司であるかあるいは両方であるとすれば麗しい; int1 & int2 -> int3: その人件費削減は麗しい; int3 & fact20 -> hypothesis; __DISPROVED__
事実1: その人件費削減が柔くないなら麗しい
事実2: その人件費削減は柔いかもしくはそれは身体障害者福祉司である
事実3: 仮に何らかのものは行軍しないかまたは麗しいかまたはどちらもなら身体障害者福祉司だ
事実4: その人件費削減は身体障害者福祉司だ
事実5: その発掘成果は柔くないか厭わしいか両方ともである
事実6: あの背泳ぎは麗しい
事実7: その人件費削減は日本鉄道である
事実8: もしもその人件費削減が身体障害者福祉司であるとしたらこの労働者協同組合は柔い
事実9: その人件費削減は惑う
事実10: その人件費削減は行軍する
事実11: この労働者協同組合は身体障害者福祉司である
事実12: この労働者協同組合は麗しい
事実13: 柔くない物は麗しい
事実14: 何かは柔くないかあるいは身体障害者福祉司であるかもしくは両方ともであるとしたらそれは麗しい
事実15: とあるものは柔いということはないとするとそれは行軍するしさらに身体障害者福祉司でない
事実16: この労働者協同組合は保護出来ないかまたは柔い
事実17: その人件費削減が行軍するがしかし身体障害者福祉司でないとすればあの労働者協同組合は行軍しない
事実18: この労働者協同組合は柔い
事実19: もしこの労働者協同組合は身体障害者福祉司でないかもしくはそれは行軍するかまたはどちらもだとすると「それは麗しい」ということは確かだ
事実20: もしその人件費削減が麗しいならばあの労働者協同組合は行軍する

仮説: この労働者協同組合は行軍しない
1. 事実4から、推論1: "その人件費削減は柔くないかもしくはそれは身体障害者福祉司であるかまたは両方だ"が導かれる
2. 事実14から、推論2: "仮にその人件費削減は柔くないか身体障害者福祉司であるかあるいは両方であるとすれば麗しい"が導かれる
3. 推論1と推論2から、推論3: "その人件費削減は麗しい"が導かれる
4. 推論3と事実20から、仮説が否定される

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