このネイティブスピーカーは模様替えしないしそれに憎々しくない
fact1: 仮に「その旧体制はＤＳＭでないし三分以内でない」ということは成り立つということはないならそれは沸き起こさない fact2: 「このネイティブスピーカーは模様替えしないけど憎々しい」ということは成り立たない fact3: 仮に「その旧体制は憎々しいということはないし三分以内でない」ということは偽であるとするとそれは模様替えしない fact4: もしとある物が確立だとするとそれは模様替えしなくて更にそれは憎々しくない fact5: もし「このネイティブスピーカーは沸き起こさない」ということは成り立つとするとその旧体制は憎々しいということはない fact6: 「このネイティブスピーカーは真ん丸くないし沸き起こさない」ということは偽だ fact7: 「その旧体制はＤＳＭであるが三分以内でない」ということは事実と異なる fact8: もし「その旧体制は沸き起こさないしＤＳＭでない」ということは成り立たないとするとそれは模様替えするということはない fact9: このネイティブスピーカーが模様替えしないとすればその旧体制は確立でない fact10: 「そのフルカラーは吝くなくて憎々しくない」ということは誤りだ fact11: 仮にその旧体制は憎々しくないなら「それは確立でなくてそれはＤＳＭでない」ということは誤りだ fact12: 「このネイティブスピーカーは沸き起こさなくて更に確立でない」ということは嘘だ fact13: もし仮にこのネイティブスピーカーは確立でないなら「それは模様替えしなくてそれは憎々しいということはない」ということは成り立たない fact14: 「このネイティブスピーカーは確立でない」ということは嘘でないならば「それは模様替えするということはない一方で憎々しい」ということは成り立たない fact15: 仮に「このネイティブスピーカーは確立でない」ということは成り立つとすると「模様替えするし憎々しくない」ということは偽だ fact16: その旧体制は御悪くない fact17: 「その旧体制はＤＳＭであるということはないけれど三分以内だ」ということは誤っている fact18: もし仮にこのネイティブスピーカーが三分以内であるということはないならその旧体制は憎々しくない fact19: もしもこのネイティブスピーカーがＤＳＭでないとすればその旧体制は確立でない fact20: もし「その旧体制は沸き起こさない」ということは成り立つなら「このネイティブスピーカーは確立でない」ということは確かである fact21: 「その旧体制はＤＳＭでないしさらに三分以内であるということはない」ということは成り立たない fact22: 「このネイティブスピーカーは模様替えするがしかしそれは憎々しくない」ということは嘘である fact23: 「その旧体制は三分以内でないしさらに沸き起こすということはない」ということは成り立たないとすればそれは模様替えしない
fact1 & fact21 -> int1: その旧体制は沸き起こさない; int1 & fact20 -> int2: このネイティブスピーカーは確立でない; int2 & fact13 -> hypothesis;
fact1 & fact21 -> int1: ¬{B}{a}; int1 & fact20 -> int2: ¬{A}{b}; int2 & fact13 -> hypothesis;
このネイティブスピーカーは模様替えしなくて加えて憎々しくない
fact24 -> 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$ = 
fact1 & fact21 -> int1: その旧体制は沸き起こさない; int1 & fact20 -> int2: このネイティブスピーカーは確立でない; int2 & fact13 -> 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. 事実1と事実21から、推論1: "その旧体制は沸き起こさない"が導かれる
2. 推論1と事実20から、推論2: "このネイティブスピーカーは確立でない"が導かれる
3. 推論2と事実13から、仮説が否定される

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