その大集合は回りくどい
fact1: 仮にその大集合が現われ易いとすると交換出来る fact2: 仮にその役員報酬が現われ易いとしたらその大集合はトーストするということはないし交換出来ない fact3: もしも「その特定資本関係は聡いということはないけど彷徨する」ということは間違いであるとすればあのデビルは高機能でない fact4: 「あのデビルは架橋剤でない」ということは本当であるとしたらこの手鏡は一元把握出来るし更に子兎ちゃんだ fact5: この呪術信仰は交換出来る fact6: その大集合は褒賞でない fact7: その大集合は古ししトーストする fact8: その大集合が甚振るならそれは現われ易い fact9: あの品質マネジメントシステム要求事項は現われ易いし更に予防接種法だ fact10: 「その大集合は古し」ということは真実である fact11: もしも「とある物は交換出来るしかつトーストする」ということは事実ならばそれは回りくどくない fact12: その大集合は現われ易い fact13: もし転封が価値付けるとすればイマージュでない fact14: その大集合は財産＋α経営だし入り込める fact15: 「その特定資本関係は聡くないけれど彷徨する」ということは間違いだ fact16: その戦略的問題はぐらぐらするしさらに交換出来る fact17: その大集合は蒸す fact18: なにがしかのものは一元把握出来るなら「ジャパン・アズ・ナンバーワンでなくてその上帷幄である」ということは誤りである fact19: もし仮にあのデビルは高機能でないならばそれは架橋剤であるということはない fact20: もしその大集合がトーストしないとしたらそれは古しし加えて回りくどい fact21: もしもある物がトーストしないなら回りくどくて古し
fact7 -> int1: その大集合はトーストする; fact1 & fact12 -> int2: その大集合は交換出来る; int1 & int2 -> int3: その大集合は交換出来るし加えてトーストする; fact11 -> int4: その大集合が交換出来るしそれにトーストするとすれば回りくどくない; int3 & int4 -> hypothesis;
その大集合は回りくどい
$facts$ = fact1: 仮にその大集合が現われ易いとすると交換出来る fact2: 仮にその役員報酬が現われ易いとしたらその大集合はトーストするということはないし交換出来ない fact3: もしも「その特定資本関係は聡いということはないけど彷徨する」ということは間違いであるとすればあのデビルは高機能でない fact4: 「あのデビルは架橋剤でない」ということは本当であるとしたらこの手鏡は一元把握出来るし更に子兎ちゃんだ fact5: この呪術信仰は交換出来る fact6: その大集合は褒賞でない fact7: その大集合は古ししトーストする fact8: その大集合が甚振るならそれは現われ易い fact9: あの品質マネジメントシステム要求事項は現われ易いし更に予防接種法だ fact10: 「その大集合は古し」ということは真実である fact11: もしも「とある物は交換出来るしかつトーストする」ということは事実ならばそれは回りくどくない fact12: その大集合は現われ易い fact13: もし転封が価値付けるとすればイマージュでない fact14: その大集合は財産＋α経営だし入り込める fact15: 「その特定資本関係は聡くないけれど彷徨する」ということは間違いだ fact16: その戦略的問題はぐらぐらするしさらに交換出来る fact17: その大集合は蒸す fact18: なにがしかのものは一元把握出来るなら「ジャパン・アズ・ナンバーワンでなくてその上帷幄である」ということは誤りである fact19: もし仮にあのデビルは高機能でないならばそれは架橋剤であるということはない fact20: もしその大集合がトーストしないとしたらそれは古しし加えて回りくどい fact21: もしもある物がトーストしないなら回りくどくて古し ; $hypothesis$ = その大集合は回りくどい ; $proof$ = 
fact7 -> int1: その大集合はトーストする; fact1 & fact12 -> int2: その大集合は交換出来る; int1 & int2 -> int3: その大集合は交換出来るし加えてトーストする; fact11 -> int4: その大集合が交換出来るしそれにトーストするとすれば回りくどくない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮にその大集合が現われ易いとすると交換出来る
事実2: 仮にその役員報酬が現われ易いとしたらその大集合はトーストするということはないし交換出来ない
事実3: もしも「その特定資本関係は聡いということはないけど彷徨する」ということは間違いであるとすればあのデビルは高機能でない
事実4: 「あのデビルは架橋剤でない」ということは本当であるとしたらこの手鏡は一元把握出来るし更に子兎ちゃんだ
事実5: この呪術信仰は交換出来る
事実6: その大集合は褒賞でない
事実7: その大集合は古ししトーストする
事実8: その大集合が甚振るならそれは現われ易い
事実9: あの品質マネジメントシステム要求事項は現われ易いし更に予防接種法だ
事実10: 「その大集合は古し」ということは真実である
事実11: もしも「とある物は交換出来るしかつトーストする」ということは事実ならばそれは回りくどくない
事実12: その大集合は現われ易い
事実13: もし転封が価値付けるとすればイマージュでない
事実14: その大集合は財産＋α経営だし入り込める
事実15: 「その特定資本関係は聡くないけれど彷徨する」ということは間違いだ
事実16: その戦略的問題はぐらぐらするしさらに交換出来る
事実17: その大集合は蒸す
事実18: なにがしかのものは一元把握出来るなら「ジャパン・アズ・ナンバーワンでなくてその上帷幄である」ということは誤りである
事実19: もし仮にあのデビルは高機能でないならばそれは架橋剤であるということはない
事実20: もしその大集合がトーストしないとしたらそれは古しし加えて回りくどい
事実21: もしもある物がトーストしないなら回りくどくて古し

仮説: その大集合は回りくどい
1. 事実7から、推論1: "その大集合はトーストする"が導かれる
2. 事実1と事実12から、推論2: "その大集合は交換出来る"が導かれる
3. 推論1と推論2から、推論3: "その大集合は交換出来るし加えてトーストする"が導かれる
4. 事実11から、推論4: "その大集合が交換出来るしそれにトーストするとすれば回りくどくない"が導かれる
5. 推論3と推論4から、仮説が否定される

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