このニュースステーション発言は縒る
fact1: そのＨＦＣが締めないとするとこのニュースステーション発言は縒るない fact2: 穿刺しないしその上踏み破らないという物はない fact3: なんらかの物が縒るとするとそれは賑々しくない fact4: 大人しくない物はある fact5: 「そのミネラル・ウォーターは穿刺しないが踏み破る」ということは事実と異なる fact6: そのＨＦＣは御尋ねない fact7: もしなにがしかの物がオーナー企業であるかそれが賑々しいとしたら締めない fact8: もしもなにかは締めるがしかし大人しくないとすればオーナー企業だということはない fact9: 「なにがしかの物は縒るない一方でそれは賑々しい」ということは誤りならそれは縒る fact10: もしもそのＨＦＣが御尋ねないなら犯人扱いするけれど諸民族でない fact11: 仮に「そのミネラル・ウォーターは穿刺しないしまた踏み破らない」ということは偽であるとしたらそのＨＦＣはオーナー企業だ fact12: もしこのニュースステーション発言が穿刺するとしたらそのミネラル・ウォーターは縒る fact13: それが穿刺するしその上踏み破らないというものはない fact14: もしもなにがしかの物は犯人扱いするがしかし諸民族でないとすると存置するということはない fact15: 仮に「このニュースステーション発言はオーナー企業でなくて賑々しいということはない」ということは誤りだとすればあのＨＦＣは縒る fact16: もし「そのＨＦＣは賑々しくなくて縒るない」ということは間違いならばあのニュースステーション発言はオーナー企業である fact17: もしも何かはオーナー企業でないなら「縒るないが賑々しい」ということは事実と異なる fact18: もし仮に何らかのものはオーナー企業でないなら「跳躍しなくてまた締めない」ということは成り立たない
fact2 -> int1: 「そのミネラル・ウォーターは穿刺しなくてしかも踏み破らない」ということは誤っている; int1 & fact11 -> int2: そのＨＦＣはオーナー企業だ; int2 -> int3: そのＨＦＣはオーナー企業であるかもしくは賑々しい; fact7 -> int4: そのＨＦＣはオーナー企業であるか賑々しいかあるいは両方ともだとすれば締めない; int3 & int4 -> int5: そのＨＦＣは締めない; int5 & fact1 -> hypothesis;
このニュースステーション発言は縒る
fact19 -> int6: 仮に「このニュースステーション発言は縒るということはないけれどそれは賑々しい」ということは成り立つということはないなら縒る; fact20 -> int7: このニュースステーション発言はオーナー企業でないとすると「それは縒るないし更に賑々しい」ということは成り立つということはない; fact22 -> int8: 仮にこのニュースステーション発言は締めるけど大人しくないとしたらそれはオーナー企業でない; fact23 -> int9: そのＨＦＣが犯人扱いするけどそれは諸民族でないとするとそれは存置しない; fact21 & fact24 -> int10: そのＨＦＣは犯人扱いするけれど諸民族でない; int9 & int10 -> int11: そのＨＦＣは存置しない; int11 -> int12: 「存置しない」ものはある;
$facts$ = fact1: そのＨＦＣが締めないとするとこのニュースステーション発言は縒るない fact2: 穿刺しないしその上踏み破らないという物はない fact3: なんらかの物が縒るとするとそれは賑々しくない fact4: 大人しくない物はある fact5: 「そのミネラル・ウォーターは穿刺しないが踏み破る」ということは事実と異なる fact6: そのＨＦＣは御尋ねない fact7: もしなにがしかの物がオーナー企業であるかそれが賑々しいとしたら締めない fact8: もしもなにかは締めるがしかし大人しくないとすればオーナー企業だということはない fact9: 「なにがしかの物は縒るない一方でそれは賑々しい」ということは誤りならそれは縒る fact10: もしもそのＨＦＣが御尋ねないなら犯人扱いするけれど諸民族でない fact11: 仮に「そのミネラル・ウォーターは穿刺しないしまた踏み破らない」ということは偽であるとしたらそのＨＦＣはオーナー企業だ fact12: もしこのニュースステーション発言が穿刺するとしたらそのミネラル・ウォーターは縒る fact13: それが穿刺するしその上踏み破らないというものはない fact14: もしもなにがしかの物は犯人扱いするがしかし諸民族でないとすると存置するということはない fact15: 仮に「このニュースステーション発言はオーナー企業でなくて賑々しいということはない」ということは誤りだとすればあのＨＦＣは縒る fact16: もし「そのＨＦＣは賑々しくなくて縒るない」ということは間違いならばあのニュースステーション発言はオーナー企業である fact17: もしも何かはオーナー企業でないなら「縒るないが賑々しい」ということは事実と異なる fact18: もし仮に何らかのものはオーナー企業でないなら「跳躍しなくてまた締めない」ということは成り立たない ; $hypothesis$ = このニュースステーション発言は縒る ; $proof$ = 
fact2 -> int1: 「そのミネラル・ウォーターは穿刺しなくてしかも踏み破らない」ということは誤っている; int1 & fact11 -> int2: そのＨＦＣはオーナー企業だ; int2 -> int3: そのＨＦＣはオーナー企業であるかもしくは賑々しい; fact7 -> int4: そのＨＦＣはオーナー企業であるか賑々しいかあるいは両方ともだとすれば締めない; int3 & int4 -> int5: そのＨＦＣは締めない; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: そのＨＦＣが締めないとするとこのニュースステーション発言は縒るない
事実2: 穿刺しないしその上踏み破らないという物はない
事実3: なんらかの物が縒るとするとそれは賑々しくない
事実4: 大人しくない物はある
事実5: 「そのミネラル・ウォーターは穿刺しないが踏み破る」ということは事実と異なる
事実6: そのＨＦＣは御尋ねない
事実7: もしなにがしかの物がオーナー企業であるかそれが賑々しいとしたら締めない
事実8: もしもなにかは締めるがしかし大人しくないとすればオーナー企業だということはない
事実9: 「なにがしかの物は縒るない一方でそれは賑々しい」ということは誤りならそれは縒る
事実10: もしもそのＨＦＣが御尋ねないなら犯人扱いするけれど諸民族でない
事実11: 仮に「そのミネラル・ウォーターは穿刺しないしまた踏み破らない」ということは偽であるとしたらそのＨＦＣはオーナー企業だ
事実12: もしこのニュースステーション発言が穿刺するとしたらそのミネラル・ウォーターは縒る
事実13: それが穿刺するしその上踏み破らないというものはない
事実14: もしもなにがしかの物は犯人扱いするがしかし諸民族でないとすると存置するということはない
事実15: 仮に「このニュースステーション発言はオーナー企業でなくて賑々しいということはない」ということは誤りだとすればあのＨＦＣは縒る
事実16: もし「そのＨＦＣは賑々しくなくて縒るない」ということは間違いならばあのニュースステーション発言はオーナー企業である
事実17: もしも何かはオーナー企業でないなら「縒るないが賑々しい」ということは事実と異なる
事実18: もし仮に何らかのものはオーナー企業でないなら「跳躍しなくてまた締めない」ということは成り立たない

仮説: このニュースステーション発言は縒る
1. 事実2から、推論1: "「そのミネラル・ウォーターは穿刺しなくてしかも踏み破らない」ということは誤っている"が導かれる
2. 推論1と事実11から、推論2: "そのＨＦＣはオーナー企業だ"が導かれる
3. 推論2から、推論3: "そのＨＦＣはオーナー企業であるかもしくは賑々しい"が導かれる
4. 事実7から、推論4: "そのＨＦＣはオーナー企業であるか賑々しいかあるいは両方ともだとすれば締めない"が導かれる
5. 推論3と推論4から、推論5: "そのＨＦＣは締めない"が導かれる
6. 推論5と事実1から、仮説が否定される

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