その中途採用は教科指導だ
fact1: 仮に「取り巻かない」ものはあれば「あの即自は決勝トーナメントであるけれど減ぜない」ということは正しい fact2: この農民支配は罹り易い fact3: 仮にその中途採用が罹り易いなら教科指導であるということはない fact4: もしもある物はサボテンであるか罹り易いかもしくは両方だとすると教科指導でない fact5: 「「踏めるし連れ出す」ということは正しくない」ものはある fact6: 「覚束無くない」物はある fact7: もし仮にその中途採用が決勝トーナメントであるかそれは罹り易いかもしくは両方であるなら減ぜない fact8: あの即自は罹り易いけど減ずるということはない fact9: 「教科指導であるしコールマン大佐でない」物はある fact10: なにかは決勝トーナメントであるけれど減ずるということはないとしたらあのＩＭはコールマン大佐である fact11: あの即自はカウントするかあるいは取り巻く fact12: もし仮に「この農民支配は決勝トーナメントであるがそれは教科指導でない」ということは誤っているならその中途採用は教科指導である fact13: 「取り巻く」物はある fact14: 「「踏めるし連れ出さない」ということは事実でない」物はある fact15: もし仮に「「決勝トーナメントであるしその上教科指導であるということはない」ということは間違いである」物があるならその中途採用はコールマン大佐でない fact16: もし「「踏めるがしかし連れ出すということはない」ということは偽な」ものがあるとすればこの農民支配は取り巻かない fact17: もし「コールマン大佐だししかも教科指導な」ものがあればあのＩＭは罹り易い fact18: もしもあのＩＭがコールマン大佐であるとするとその中途採用はサボテンだ fact19: 仮になにかはコールマン大佐でないとすると取り巻くしその上それは減ずる fact20: 「「コールマン大佐でない」物があるとしたらあのＩＭは教科指導でない」ということは間違いだということはない
fact14 & fact16 -> int1: この農民支配は取り巻かない; int1 -> int2: 「取り巻かない」ものはある; int2 & fact1 -> int3: あの即自は決勝トーナメントである一方でそれは減ぜない; int3 -> int4: 「決勝トーナメントだ一方で減ぜない」物はある; int4 & fact10 -> int5: あのＩＭはコールマン大佐である; int5 & fact18 -> int6: その中途採用はサボテンだ; int6 -> int7: その中途採用はサボテンであるかあるいは罹り易いか両方である; fact4 -> int8: 仮にその中途採用がサボテンであるか罹り易いかまたは両方であるなら教科指導でない; int7 & int8 -> hypothesis;
その中途採用は教科指導だ
fact22 -> int9: もしあの即自はコールマン大佐でないとしたら取り巻くしさらに減ずる;
$facts$ = fact1: 仮に「取り巻かない」ものはあれば「あの即自は決勝トーナメントであるけれど減ぜない」ということは正しい fact2: この農民支配は罹り易い fact3: 仮にその中途採用が罹り易いなら教科指導であるということはない fact4: もしもある物はサボテンであるか罹り易いかもしくは両方だとすると教科指導でない fact5: 「「踏めるし連れ出す」ということは正しくない」ものはある fact6: 「覚束無くない」物はある fact7: もし仮にその中途採用が決勝トーナメントであるかそれは罹り易いかもしくは両方であるなら減ぜない fact8: あの即自は罹り易いけど減ずるということはない fact9: 「教科指導であるしコールマン大佐でない」物はある fact10: なにかは決勝トーナメントであるけれど減ずるということはないとしたらあのＩＭはコールマン大佐である fact11: あの即自はカウントするかあるいは取り巻く fact12: もし仮に「この農民支配は決勝トーナメントであるがそれは教科指導でない」ということは誤っているならその中途採用は教科指導である fact13: 「取り巻く」物はある fact14: 「「踏めるし連れ出さない」ということは事実でない」物はある fact15: もし仮に「「決勝トーナメントであるしその上教科指導であるということはない」ということは間違いである」物があるならその中途採用はコールマン大佐でない fact16: もし「「踏めるがしかし連れ出すということはない」ということは偽な」ものがあるとすればこの農民支配は取り巻かない fact17: もし「コールマン大佐だししかも教科指導な」ものがあればあのＩＭは罹り易い fact18: もしもあのＩＭがコールマン大佐であるとするとその中途採用はサボテンだ fact19: 仮になにかはコールマン大佐でないとすると取り巻くしその上それは減ずる fact20: 「「コールマン大佐でない」物があるとしたらあのＩＭは教科指導でない」ということは間違いだということはない ; $hypothesis$ = その中途採用は教科指導だ ; $proof$ = 
fact14 & fact16 -> int1: この農民支配は取り巻かない; int1 -> int2: 「取り巻かない」ものはある; int2 & fact1 -> int3: あの即自は決勝トーナメントである一方でそれは減ぜない; int3 -> int4: 「決勝トーナメントだ一方で減ぜない」物はある; int4 & fact10 -> int5: あのＩＭはコールマン大佐である; int5 & fact18 -> int6: その中途採用はサボテンだ; int6 -> int7: その中途採用はサボテンであるかあるいは罹り易いか両方である; fact4 -> 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. 事実14と事実16から、推論1: "この農民支配は取り巻かない"が導かれる
2. 推論1から、推論2: "「取り巻かない」ものはある"が導かれる
3. 推論2と事実1から、推論3: "あの即自は決勝トーナメントである一方でそれは減ぜない"が導かれる
4. 推論3から、推論4: "「決勝トーナメントだ一方で減ぜない」物はある"が導かれる
5. 推論4と事実10から、推論5: "あのＩＭはコールマン大佐である"が導かれる
6. 推論5と事実18から、推論6: "その中途採用はサボテンだ"が導かれる
7. 推論6から、推論7: "その中途採用はサボテンであるかあるいは罹り易いか両方である"が導かれる
8. 事実4から、推論8: "仮にその中途採用がサボテンであるか罹り易いかまたは両方であるなら教科指導でない"が導かれる
9. 推論7と推論8から、仮説が否定される

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