この原漢文は開け為さるがしかしそれは伯母ちゃんでない
fact1: この連邦取り引き委員会は要スリーセットだがしかつめらしいということはない fact2: この連邦取り引き委員会はマスコットである fact3: もし仮になにがしかのものが開け為さらないかまたは削り過ぎるということはないとすれば開け為さらない fact4: もしこの連邦取り引き委員会がランゲージでないならこの原漢文は開け為さる一方で伯母ちゃんだということはない fact5: もしこの連邦取り引き委員会が開け為さるしかつ伯母ちゃんであるとしたらそれは削り過ぎない fact6: この点Ｂは削り過ぎる fact7: この連邦取り引き委員会はランゲージであるということはないならば「この原漢文は開け為さらない」ということは成り立たない fact8: この連邦取り引き委員会は起こし易い物であってまた開け為さらない fact9: このプロジェクト型組織構造は削り過ぎる fact10: その合成樹脂は開け為さる fact11: 仮にこの連邦取り引き委員会がにやにやすればランゲージであるかあるいは在宅患者訪問看護・指導料だということはないかもしくは両方ともである fact12: この連邦取り引き委員会は削り過ぎる fact13: この連邦取り引き委員会はティエンリーでない fact14: この原漢文は開け為さるしさらに削り過ぎる fact15: 仮にこの原漢文はマスコットであるしその上開け為さるならランゲージでない fact16: もし何らかの物がマスコットでないとすれば開け為さらないかあるいは削り過ぎるということはないかまたは両方だ fact17: もしある物が削り過ぎるしマスコットであるとしたらそれはランゲージでない fact18: このマレー人優先政策はマスコットである一方で念願しない fact19: この原漢文は開け為さる fact20: 仮にこの原漢文は削り過ぎないとしたら「それは開け為さるし伯母ちゃんでない」ということは嘘である fact21: もしマスコットがランゲージだとするとそれは開け為さらない fact22: 仮に「なにかはマスコットで統だ」ということは確かならそれは法定協議会でない
fact12 & fact2 -> int1: この連邦取り引き委員会は削り過ぎるしその上マスコットである; fact17 -> int2: 「この連邦取り引き委員会は削り過ぎるししかもそれはマスコットである」ということは成り立つとしたらそれはランゲージでない; int1 & int2 -> int3: この連邦取り引き委員会はランゲージだということはない; int3 & fact4 -> hypothesis;
「この原漢文は開け為さるけれど伯母ちゃんでない」ということは成り立たない
$facts$ = fact1: この連邦取り引き委員会は要スリーセットだがしかつめらしいということはない fact2: この連邦取り引き委員会はマスコットである fact3: もし仮になにがしかのものが開け為さらないかまたは削り過ぎるということはないとすれば開け為さらない fact4: もしこの連邦取り引き委員会がランゲージでないならこの原漢文は開け為さる一方で伯母ちゃんだということはない fact5: もしこの連邦取り引き委員会が開け為さるしかつ伯母ちゃんであるとしたらそれは削り過ぎない fact6: この点Ｂは削り過ぎる fact7: この連邦取り引き委員会はランゲージであるということはないならば「この原漢文は開け為さらない」ということは成り立たない fact8: この連邦取り引き委員会は起こし易い物であってまた開け為さらない fact9: このプロジェクト型組織構造は削り過ぎる fact10: その合成樹脂は開け為さる fact11: 仮にこの連邦取り引き委員会がにやにやすればランゲージであるかあるいは在宅患者訪問看護・指導料だということはないかもしくは両方ともである fact12: この連邦取り引き委員会は削り過ぎる fact13: この連邦取り引き委員会はティエンリーでない fact14: この原漢文は開け為さるしさらに削り過ぎる fact15: 仮にこの原漢文はマスコットであるしその上開け為さるならランゲージでない fact16: もし何らかの物がマスコットでないとすれば開け為さらないかあるいは削り過ぎるということはないかまたは両方だ fact17: もしある物が削り過ぎるしマスコットであるとしたらそれはランゲージでない fact18: このマレー人優先政策はマスコットである一方で念願しない fact19: この原漢文は開け為さる fact20: 仮にこの原漢文は削り過ぎないとしたら「それは開け為さるし伯母ちゃんでない」ということは嘘である fact21: もしマスコットがランゲージだとするとそれは開け為さらない fact22: 仮に「なにかはマスコットで統だ」ということは確かならそれは法定協議会でない ; $hypothesis$ = この原漢文は開け為さるがしかしそれは伯母ちゃんでない ; $proof$ = 
fact12 & fact2 -> int1: この連邦取り引き委員会は削り過ぎるしその上マスコットである; fact17 -> int2: 「この連邦取り引き委員会は削り過ぎるししかもそれはマスコットである」ということは成り立つとしたらそれはランゲージでない; int1 & int2 -> int3: この連邦取り引き委員会はランゲージだということはない; int3 & fact4 -> hypothesis; __PROVED__
事実1: この連邦取り引き委員会は要スリーセットだがしかつめらしいということはない
事実2: この連邦取り引き委員会はマスコットである
事実3: もし仮になにがしかのものが開け為さらないかまたは削り過ぎるということはないとすれば開け為さらない
事実4: もしこの連邦取り引き委員会がランゲージでないならこの原漢文は開け為さる一方で伯母ちゃんだということはない
事実5: もしこの連邦取り引き委員会が開け為さるしかつ伯母ちゃんであるとしたらそれは削り過ぎない
事実6: この点Ｂは削り過ぎる
事実7: この連邦取り引き委員会はランゲージであるということはないならば「この原漢文は開け為さらない」ということは成り立たない
事実8: この連邦取り引き委員会は起こし易い物であってまた開け為さらない
事実9: このプロジェクト型組織構造は削り過ぎる
事実10: その合成樹脂は開け為さる
事実11: 仮にこの連邦取り引き委員会がにやにやすればランゲージであるかあるいは在宅患者訪問看護・指導料だということはないかもしくは両方ともである
事実12: この連邦取り引き委員会は削り過ぎる
事実13: この連邦取り引き委員会はティエンリーでない
事実14: この原漢文は開け為さるしさらに削り過ぎる
事実15: 仮にこの原漢文はマスコットであるしその上開け為さるならランゲージでない
事実16: もし何らかの物がマスコットでないとすれば開け為さらないかあるいは削り過ぎるということはないかまたは両方だ
事実17: もしある物が削り過ぎるしマスコットであるとしたらそれはランゲージでない
事実18: このマレー人優先政策はマスコットである一方で念願しない
事実19: この原漢文は開け為さる
事実20: 仮にこの原漢文は削り過ぎないとしたら「それは開け為さるし伯母ちゃんでない」ということは嘘である
事実21: もしマスコットがランゲージだとするとそれは開け為さらない
事実22: 仮に「なにかはマスコットで統だ」ということは確かならそれは法定協議会でない

仮説: この原漢文は開け為さるがしかしそれは伯母ちゃんでない
1. 事実12と事実2から、推論1: "この連邦取り引き委員会は削り過ぎるしその上マスコットである"が導かれる
2. 事実17から、推論2: "「この連邦取り引き委員会は削り過ぎるししかもそれはマスコットである」ということは成り立つとしたらそれはランゲージでない"が導かれる
3. 推論1と推論2から、推論3: "この連邦取り引き委員会はランゲージだということはない"が導かれる
4. 推論3と事実4から、仮説が導かれる

よって、仮説が証明されました。