その警笛は左右され易い一方でデューでない
fact1: もしも何らかの物は置かないとすれば「それは左右され易いけどデューでない」ということは間違いである fact2: 「その警笛は左右され易いしまたデューだ」ということは成り立つということはない fact3: その五十七人は北進する fact4: 何らかのものは塗り潰さないとすれば「それは北進するし置く」ということは嘘だ fact5: もし仮になにかは置かないなら「それは左右され易くて加えてデューだ」ということは嘘だ fact6: 「その五十七人は北進するということはないかまたは塗り潰すかあるいは両方だ」ということは誤りならばその警笛は置かない fact7: 「その五十七人は北進しないか塗り潰すかまたは両方ともだ」ということは本当でない fact8: もしも「「その五十七人は北進するかまたはそれは塗り潰す」ということは確かである」ということは誤っているとするとその警笛は置かない
fact1 -> int1: その警笛は置かないとすると「左右され易いしその上それはデューでない」ということは成り立たない; fact6 & fact7 -> int2: その警笛は置かない; int1 & int2 -> hypothesis;
$facts$ = fact1: もしも何らかの物は置かないとすれば「それは左右され易いけどデューでない」ということは間違いである fact2: 「その警笛は左右され易いしまたデューだ」ということは成り立つということはない fact3: その五十七人は北進する fact4: 何らかのものは塗り潰さないとすれば「それは北進するし置く」ということは嘘だ fact5: もし仮になにかは置かないなら「それは左右され易くて加えてデューだ」ということは嘘だ fact6: 「その五十七人は北進するということはないかまたは塗り潰すかあるいは両方だ」ということは誤りならばその警笛は置かない fact7: 「その五十七人は北進しないか塗り潰すかまたは両方ともだ」ということは本当でない fact8: もしも「「その五十七人は北進するかまたはそれは塗り潰す」ということは確かである」ということは誤っているとするとその警笛は置かない ; $hypothesis$ = その警笛は左右され易い一方でデューでない ; $proof$ = 
fact1 -> int1: その警笛は置かないとすると「左右され易いしその上それはデューでない」ということは成り立たない; fact6 & fact7 -> int2: その警笛は置かない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも何らかの物は置かないとすれば「それは左右され易いけどデューでない」ということは間違いである
事実2: 「その警笛は左右され易いしまたデューだ」ということは成り立つということはない
事実3: その五十七人は北進する
事実4: 何らかのものは塗り潰さないとすれば「それは北進するし置く」ということは嘘だ
事実5: もし仮になにかは置かないなら「それは左右され易くて加えてデューだ」ということは嘘だ
事実6: 「その五十七人は北進するということはないかまたは塗り潰すかあるいは両方だ」ということは誤りならばその警笛は置かない
事実7: 「その五十七人は北進しないか塗り潰すかまたは両方ともだ」ということは本当でない
事実8: もしも「「その五十七人は北進するかまたはそれは塗り潰す」ということは確かである」ということは誤っているとするとその警笛は置かない

仮説: その警笛は左右され易い一方でデューでない
1. 事実1から、推論1: "その警笛は置かないとすると「左右され易いしその上それはデューでない」ということは成り立たない"が導かれる
2. 事実6と事実7から、推論2: "その警笛は置かない"が導かれる
3. 推論1と推論2から、仮説が否定される

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