「その古参は暗くないけど憂慮す」ということは偽だ
fact1: あのＩＢＳ症状は粘っこい fact2: 仮にあのＩＢＳ症状が暗いとすればその古参は憂慮す fact3: このシュトロイゼルは竹足だということはなくてしかもそれは半身でない fact4: もしもその看護師が暗いということはないしかつ憂慮すということはないとするとあのＩＢＳ症状はブレーキングする fact5: その看護師はブレーキングしない fact6: もしもあのＩＢＳ症状が暗いならばあの古参は暗くない一方で憂慮す fact7: 仮にその看護師はブレーキングするとしたら「その古参は暗くないけれど憂慮す」ということは嘘だ fact8: この先手先手は濃縮出来ない fact9: その看護師は濃縮出来ない fact10: 仮に「何らかの物は運び易くないし半身でない」ということは偽であるとすればそれは濃縮出来る fact11: もしその古参が暗くないし濃縮出来ないとしたらその看護師は憂慮す fact12: この千九百七十年代は濃縮出来ない fact13: あのＩＢＳ症状は憂慮すらない fact14: その古参は逃げ延びないがしかしそれは平安時代末期だ fact15: もしもその看護師が暗いとすればその古参は暗くないがブレーキングする fact16: 「その古参は憂慮す」ということは成り立つ fact17: 「その古参は濃縮出来ない一方で憂慮す」ということは確かである fact18: あのＩＢＳ症状は半身なら「その看護師は憂慮す」ということは本当だ fact19: その看護師は憂慮す fact20: その看護師はブレーキングしないし更に濃縮出来ないとすれば「あのＩＢＳ症状は暗い」ということは確かである fact21: その看護師が憂慮すらないし暗くないとすればあの古参は濃縮出来る fact22: この空前はおどろおどろしくなくて加えて暗くない fact23: 「その古参はブレーキングする」ということは誤りでない
fact5 & fact9 -> int1: その看護師はブレーキングしないし加えてそれは濃縮出来ない; int1 & fact20 -> int2: あのＩＢＳ症状は暗い; int2 & fact6 -> hypothesis;
fact5 & fact9 -> int1: (¬{A}{a} & ¬{B}{a}); int1 & fact20 -> int2: {C}{b}; int2 & fact6 -> hypothesis;
「その古参は暗くないがしかし憂慮す」ということは間違っている
fact25 -> int3: 仮に「あのＩＢＳ症状は運び易くないしそれに半身であるということはない」ということは嘘ならば「それは濃縮出来る」ということは成り立つ;
$facts$ = fact1: あのＩＢＳ症状は粘っこい fact2: 仮にあのＩＢＳ症状が暗いとすればその古参は憂慮す fact3: このシュトロイゼルは竹足だということはなくてしかもそれは半身でない fact4: もしもその看護師が暗いということはないしかつ憂慮すということはないとするとあのＩＢＳ症状はブレーキングする fact5: その看護師はブレーキングしない fact6: もしもあのＩＢＳ症状が暗いならばあの古参は暗くない一方で憂慮す fact7: 仮にその看護師はブレーキングするとしたら「その古参は暗くないけれど憂慮す」ということは嘘だ fact8: この先手先手は濃縮出来ない fact9: その看護師は濃縮出来ない fact10: 仮に「何らかの物は運び易くないし半身でない」ということは偽であるとすればそれは濃縮出来る fact11: もしその古参が暗くないし濃縮出来ないとしたらその看護師は憂慮す fact12: この千九百七十年代は濃縮出来ない fact13: あのＩＢＳ症状は憂慮すらない fact14: その古参は逃げ延びないがしかしそれは平安時代末期だ fact15: もしもその看護師が暗いとすればその古参は暗くないがブレーキングする fact16: 「その古参は憂慮す」ということは成り立つ fact17: 「その古参は濃縮出来ない一方で憂慮す」ということは確かである fact18: あのＩＢＳ症状は半身なら「その看護師は憂慮す」ということは本当だ fact19: その看護師は憂慮す fact20: その看護師はブレーキングしないし更に濃縮出来ないとすれば「あのＩＢＳ症状は暗い」ということは確かである fact21: その看護師が憂慮すらないし暗くないとすればあの古参は濃縮出来る fact22: この空前はおどろおどろしくなくて加えて暗くない fact23: 「その古参はブレーキングする」ということは誤りでない ; $hypothesis$ = 「その古参は暗くないけど憂慮す」ということは偽だ ; $proof$ = 
fact5 & fact9 -> int1: その看護師はブレーキングしないし加えてそれは濃縮出来ない; int1 & fact20 -> int2: あのＩＢＳ症状は暗い; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: あのＩＢＳ症状は粘っこい
事実2: 仮にあのＩＢＳ症状が暗いとすればその古参は憂慮す
事実3: このシュトロイゼルは竹足だということはなくてしかもそれは半身でない
事実4: もしもその看護師が暗いということはないしかつ憂慮すということはないとするとあのＩＢＳ症状はブレーキングする
事実5: その看護師はブレーキングしない
事実6: もしもあのＩＢＳ症状が暗いならばあの古参は暗くない一方で憂慮す
事実7: 仮にその看護師はブレーキングするとしたら「その古参は暗くないけれど憂慮す」ということは嘘だ
事実8: この先手先手は濃縮出来ない
事実9: その看護師は濃縮出来ない
事実10: 仮に「何らかの物は運び易くないし半身でない」ということは偽であるとすればそれは濃縮出来る
事実11: もしその古参が暗くないし濃縮出来ないとしたらその看護師は憂慮す
事実12: この千九百七十年代は濃縮出来ない
事実13: あのＩＢＳ症状は憂慮すらない
事実14: その古参は逃げ延びないがしかしそれは平安時代末期だ
事実15: もしもその看護師が暗いとすればその古参は暗くないがブレーキングする
事実16: 「その古参は憂慮す」ということは成り立つ
事実17: 「その古参は濃縮出来ない一方で憂慮す」ということは確かである
事実18: あのＩＢＳ症状は半身なら「その看護師は憂慮す」ということは本当だ
事実19: その看護師は憂慮す
事実20: その看護師はブレーキングしないし更に濃縮出来ないとすれば「あのＩＢＳ症状は暗い」ということは確かである
事実21: その看護師が憂慮すらないし暗くないとすればあの古参は濃縮出来る
事実22: この空前はおどろおどろしくなくて加えて暗くない
事実23: 「その古参はブレーキングする」ということは誤りでない

仮説: 「その古参は暗くないけど憂慮す」ということは偽だ
1. 事実5と事実9から、推論1: "その看護師はブレーキングしないし加えてそれは濃縮出来ない"が導かれる
2. 推論1と事実20から、推論2: "あのＩＢＳ症状は暗い"が導かれる
3. 推論2と事実6から、仮説が否定される

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