あのＳ＆Ｗは乏しくなくて付議しない
fact1: もし仮にあのＳ＆Ｗは達成度評価であるということはない一方で日本全国であるとすれば鉄鉢だ fact2: 「あのＳ＆Ｗは乏しくないけれど付議する」ということは間違いである fact3: 「あのＳ＆Ｗは乏しい一方で付議するということはない」ということは偽である fact4: もし仮に何らかの物は達成度評価でないが非農業集落化するとするとそれは大人しい fact5: あのＳ＆Ｗは達成度評価であるということはないけれど日本全国だ fact6: とある物は鉄鉢であるならば「それは乏しくないし加えて付議するということはない」ということは嘘である
fact6 -> int1: あのＳ＆Ｗは鉄鉢だとしたら「乏しくなくてしかも付議しない」ということは偽だ; fact1 & fact5 -> int2: あのＳ＆Ｗは鉄鉢だ; int1 & int2 -> hypothesis;
fact6 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); fact1 & fact5 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
もしその落ち葉は達成度評価であるということはないがしかし非農業集落化するとするとそれは大人しい
fact7 -> hypothesis;
$facts$ = fact1: もし仮にあのＳ＆Ｗは達成度評価であるということはない一方で日本全国であるとすれば鉄鉢だ fact2: 「あのＳ＆Ｗは乏しくないけれど付議する」ということは間違いである fact3: 「あのＳ＆Ｗは乏しい一方で付議するということはない」ということは偽である fact4: もし仮に何らかの物は達成度評価でないが非農業集落化するとするとそれは大人しい fact5: あのＳ＆Ｗは達成度評価であるということはないけれど日本全国だ fact6: とある物は鉄鉢であるならば「それは乏しくないし加えて付議するということはない」ということは嘘である ; $hypothesis$ = あのＳ＆Ｗは乏しくなくて付議しない ; $proof$ = 
fact6 -> int1: あのＳ＆Ｗは鉄鉢だとしたら「乏しくなくてしかも付議しない」ということは偽だ; fact1 & fact5 -> int2: あのＳ＆Ｗは鉄鉢だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にあのＳ＆Ｗは達成度評価であるということはない一方で日本全国であるとすれば鉄鉢だ
事実2: 「あのＳ＆Ｗは乏しくないけれど付議する」ということは間違いである
事実3: 「あのＳ＆Ｗは乏しい一方で付議するということはない」ということは偽である
事実4: もし仮に何らかの物は達成度評価でないが非農業集落化するとするとそれは大人しい
事実5: あのＳ＆Ｗは達成度評価であるということはないけれど日本全国だ
事実6: とある物は鉄鉢であるならば「それは乏しくないし加えて付議するということはない」ということは嘘である

仮説: あのＳ＆Ｗは乏しくなくて付議しない
1. 事実6から、推論1: "あのＳ＆Ｗは鉄鉢だとしたら「乏しくなくてしかも付議しない」ということは偽だ"が導かれる
2. 事実1と事実5から、推論2: "あのＳ＆Ｗは鉄鉢だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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