あの語群は騎馬民族である
fact1: 面倒臭い物が生き切ればそれは騎馬民族でない fact2: もしあの語群が限り無しならばそれは手解きする fact3: もしこのディが言い触らすとしたらあの語群は棹差す fact4: もし「破産する」物はあれば「このディは手解きするということはない一方でそれは面倒臭い」ということは成り立たない fact5: 「破産する」物はある fact6: この小規模校は生き切る fact7: 「あの外国版は発展出来ないしそれにそれはドライバー達だということはない」ということは間違っている fact8: あの外国版は破産するしそれにそれは面倒臭い fact9: もし「あの外国版は発展出来ないしそれはドライバー達でない」ということは誤りならば「このディは言い触らす」ということは確かだ fact10: 仮に「あの語群は手解きする」ということは事実だとするとそれは破産する fact11: もしあの外国版がドライバー達であるとするとこのディは言い触らす fact12: あの語群は生き切る fact13: もしあの語群が破産するなら面倒臭い fact14: あの外国版がドライバー達だとすると限り無し fact15: あの語群が棹差すなら限り無し fact16: 「もしもなにかは限り無しとしたらこの活動計画は言い触らす」ということは確かである fact17: もしもある物が言い触らすとしたらそれは棹差す fact18: もしもあの外国版が棹差すとするとあの語群は騎馬民族である fact19: もしもあの語群が言い触らせばこのディは手解きする fact20: あの語群は可笑しいし国家公安委員会規則だ
fact9 & fact7 -> int1: このディは言い触らす; int1 & fact3 -> int2: あの語群は棹差す; int2 & fact15 -> int3: あの語群は限り無し; int3 & fact2 -> int4: 「あの語群は手解きする」ということは正しい; int4 & fact10 -> int5: あの語群は破産する; int5 & fact13 -> int6: あの語群は面倒臭い; int6 & fact12 -> int7: あの語群は面倒臭いし生き切る; fact1 -> int8: 仮にあの語群は面倒臭くて更に生き切るとしたらそれは騎馬民族でない; int7 & int8 -> hypothesis;
この活動計画は棹差す
fact21 -> int9: この活動計画は言い触らすとしたら「それは棹差す」ということは確かだ; fact23 -> int10: 「あの外国版は破産する」ということは成り立つ;
$facts$ = fact1: 面倒臭い物が生き切ればそれは騎馬民族でない fact2: もしあの語群が限り無しならばそれは手解きする fact3: もしこのディが言い触らすとしたらあの語群は棹差す fact4: もし「破産する」物はあれば「このディは手解きするということはない一方でそれは面倒臭い」ということは成り立たない fact5: 「破産する」物はある fact6: この小規模校は生き切る fact7: 「あの外国版は発展出来ないしそれにそれはドライバー達だということはない」ということは間違っている fact8: あの外国版は破産するしそれにそれは面倒臭い fact9: もし「あの外国版は発展出来ないしそれはドライバー達でない」ということは誤りならば「このディは言い触らす」ということは確かだ fact10: 仮に「あの語群は手解きする」ということは事実だとするとそれは破産する fact11: もしあの外国版がドライバー達であるとするとこのディは言い触らす fact12: あの語群は生き切る fact13: もしあの語群が破産するなら面倒臭い fact14: あの外国版がドライバー達だとすると限り無し fact15: あの語群が棹差すなら限り無し fact16: 「もしもなにかは限り無しとしたらこの活動計画は言い触らす」ということは確かである fact17: もしもある物が言い触らすとしたらそれは棹差す fact18: もしもあの外国版が棹差すとするとあの語群は騎馬民族である fact19: もしもあの語群が言い触らせばこのディは手解きする fact20: あの語群は可笑しいし国家公安委員会規則だ ; $hypothesis$ = あの語群は騎馬民族である ; $proof$ = 
fact9 & fact7 -> int1: このディは言い触らす; int1 & fact3 -> int2: あの語群は棹差す; int2 & fact15 -> int3: あの語群は限り無し; int3 & fact2 -> int4: 「あの語群は手解きする」ということは正しい; int4 & fact10 -> int5: あの語群は破産する; int5 & fact13 -> int6: あの語群は面倒臭い; int6 & fact12 -> int7: あの語群は面倒臭いし生き切る; fact1 -> int8: 仮にあの語群は面倒臭くて更に生き切るとしたらそれは騎馬民族でない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 面倒臭い物が生き切ればそれは騎馬民族でない
事実2: もしあの語群が限り無しならばそれは手解きする
事実3: もしこのディが言い触らすとしたらあの語群は棹差す
事実4: もし「破産する」物はあれば「このディは手解きするということはない一方でそれは面倒臭い」ということは成り立たない
事実5: 「破産する」物はある
事実6: この小規模校は生き切る
事実7: 「あの外国版は発展出来ないしそれにそれはドライバー達だということはない」ということは間違っている
事実8: あの外国版は破産するしそれにそれは面倒臭い
事実9: もし「あの外国版は発展出来ないしそれはドライバー達でない」ということは誤りならば「このディは言い触らす」ということは確かだ
事実10: 仮に「あの語群は手解きする」ということは事実だとするとそれは破産する
事実11: もしあの外国版がドライバー達であるとするとこのディは言い触らす
事実12: あの語群は生き切る
事実13: もしあの語群が破産するなら面倒臭い
事実14: あの外国版がドライバー達だとすると限り無し
事実15: あの語群が棹差すなら限り無し
事実16: 「もしもなにかは限り無しとしたらこの活動計画は言い触らす」ということは確かである
事実17: もしもある物が言い触らすとしたらそれは棹差す
事実18: もしもあの外国版が棹差すとするとあの語群は騎馬民族である
事実19: もしもあの語群が言い触らせばこのディは手解きする
事実20: あの語群は可笑しいし国家公安委員会規則だ

仮説: あの語群は騎馬民族である
1. 事実9と事実7から、推論1: "このディは言い触らす"が導かれる
2. 推論1と事実3から、推論2: "あの語群は棹差す"が導かれる
3. 推論2と事実15から、推論3: "あの語群は限り無し"が導かれる
4. 推論3と事実2から、推論4: "「あの語群は手解きする」ということは正しい"が導かれる
5. 推論4と事実10から、推論5: "あの語群は破産する"が導かれる
6. 推論5と事実13から、推論6: "あの語群は面倒臭い"が導かれる
7. 推論6と事実12から、推論7: "あの語群は面倒臭いし生き切る"が導かれる
8. 事実1から、推論8: "仮にあの語群は面倒臭くて更に生き切るとしたらそれは騎馬民族でない"が導かれる
9. 推論7と推論8から、仮説が否定される

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