あの気管支喘息はむんむんする
fact1: この一分野は骨格だ fact2: 仮に何かは介護保険統合論だとしたら「それは肥前名護屋であるかまたは潔くないかもしくはどちらもだ」ということは成り立たない fact3: もしあの未舗装が滞り易いとするとこの活性酸素は浅しがしかしそれは駿馬でない fact4: もしこの受益持分が来すとすればあの未舗装は来す fact5: もしあの気管支喘息が浅しないとしたらむんむんする fact6: 「なにかは浅しがしかし戦い取らない」ということは事実と異なるとしたらむんむんする fact7: この活性酸素は滞り易い fact8: 芋畑は浅し fact9: もし「あの合宿は肥前名護屋であるかもしくは潔くないかもしくは両方だ」ということは確かでないとするとこの一分野は潔い fact10: 何かは来すとすればそれは滞り易い fact11: もしもあの地球温暖化係数がＢさん自身だとするとそれは芋畑だ fact12: もしあの地球温暖化係数は芋畑であるなら「「あの気管支喘息は浅し一方で戦い取らない」ということは誤りだ」ということは成り立つ fact13: この一分野が寮生達でない一方で潔いとするとこの受益持分は来す fact14: あの地球温暖化係数はＢさん自身である fact15: もし仮に「あの地球温暖化係数はむんむんする一方で戦い取らない」ということは間違いならばそれは芋畑だ fact16: もしもあの気管支喘息が浅しとすればそれはＢさん自身だ fact17: もし「この活性酸素は滞り易い」ということは成り立つとしたら「浅しということはなくてそれにそれは駿馬でない」ということは偽だ fact18: もし仮にあるものが骨格だとすると寮生達でない fact19: 仮に「この活性酸素はむんむんする一方で戦い取らない」ということは誤りだとしたらあの地球温暖化係数はむんむんしない fact20: もし仮にある物が浅しないならばむんむんする fact21: 何らかの物は芋畑であるとすれば「むんむんするがしかし戦い取るということはない」ということは偽だ fact22: もしもあの気管支喘息は芋畑であるとするとそれはむんむんする fact23: もしもあの地球温暖化係数がＢさん自身でないかまたはむんむんしないとするとあの気管支喘息はむんむんするということはない
fact11 & fact14 -> int1: あの地球温暖化係数は芋畑である; int1 & fact12 -> int2: 「あの気管支喘息は浅し一方で戦い取らない」ということは成り立たない; fact6 -> int3: 仮に「あの気管支喘息は浅しがしかし戦い取らない」ということは偽だとすればむんむんする; int2 & int3 -> hypothesis;
fact11 & fact14 -> int1: {B}{a}; int1 & fact12 -> int2: ¬({D}{b} & ¬{C}{b}); fact6 -> int3: ¬({D}{b} & ¬{C}{b}) -> {E}{b}; int2 & int3 -> hypothesis;
あの気管支喘息はむんむんしない
fact24 & fact25 -> int4: 「この活性酸素は浅しということはなくて駿馬でない」ということは誤っている; int4 -> int5: 「「浅しないしまた駿馬でない」ということは誤っている」物はある;
$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$ = 
fact11 & fact14 -> int1: あの地球温暖化係数は芋畑である; int1 & fact12 -> int2: 「あの気管支喘息は浅し一方で戦い取らない」ということは成り立たない; fact6 -> int3: 仮に「あの気管支喘息は浅しがしかし戦い取らない」ということは偽だとすればむんむんする; int2 & int3 -> hypothesis; __PROVED__
事実1: この一分野は骨格だ
事実2: 仮に何かは介護保険統合論だとしたら「それは肥前名護屋であるかまたは潔くないかもしくはどちらもだ」ということは成り立たない
事実3: もしあの未舗装が滞り易いとするとこの活性酸素は浅しがしかしそれは駿馬でない
事実4: もしこの受益持分が来すとすればあの未舗装は来す
事実5: もしあの気管支喘息が浅しないとしたらむんむんする
事実6: 「なにかは浅しがしかし戦い取らない」ということは事実と異なるとしたらむんむんする
事実7: この活性酸素は滞り易い
事実8: 芋畑は浅し
事実9: もし「あの合宿は肥前名護屋であるかもしくは潔くないかもしくは両方だ」ということは確かでないとするとこの一分野は潔い
事実10: 何かは来すとすればそれは滞り易い
事実11: もしもあの地球温暖化係数がＢさん自身だとするとそれは芋畑だ
事実12: もしあの地球温暖化係数は芋畑であるなら「「あの気管支喘息は浅し一方で戦い取らない」ということは誤りだ」ということは成り立つ
事実13: この一分野が寮生達でない一方で潔いとするとこの受益持分は来す
事実14: あの地球温暖化係数はＢさん自身である
事実15: もし仮に「あの地球温暖化係数はむんむんする一方で戦い取らない」ということは間違いならばそれは芋畑だ
事実16: もしもあの気管支喘息が浅しとすればそれはＢさん自身だ
事実17: もし「この活性酸素は滞り易い」ということは成り立つとしたら「浅しということはなくてそれにそれは駿馬でない」ということは偽だ
事実18: もし仮にあるものが骨格だとすると寮生達でない
事実19: 仮に「この活性酸素はむんむんする一方で戦い取らない」ということは誤りだとしたらあの地球温暖化係数はむんむんしない
事実20: もし仮にある物が浅しないならばむんむんする
事実21: 何らかの物は芋畑であるとすれば「むんむんするがしかし戦い取るということはない」ということは偽だ
事実22: もしもあの気管支喘息は芋畑であるとするとそれはむんむんする
事実23: もしもあの地球温暖化係数がＢさん自身でないかまたはむんむんしないとするとあの気管支喘息はむんむんするということはない

仮説: あの気管支喘息はむんむんする
1. 事実11と事実14から、推論1: "あの地球温暖化係数は芋畑である"が導かれる
2. 推論1と事実12から、推論2: "「あの気管支喘息は浅し一方で戦い取らない」ということは成り立たない"が導かれる
3. 事実6から、推論3: "仮に「あの気管支喘息は浅しがしかし戦い取らない」ということは偽だとすればむんむんする"が導かれる
4. 推論2と推論3から、仮説が導かれる

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