その本券はいじましい
fact1: 仮にこの伝記作家達が対角行列であるならこの腎虚は電気陰性度である fact2: この伝記作家達は児童文化でない fact3: そのコード進行は青くない fact4: 仮にこの腎虚が児童文化でないとするとこの伝記作家達はいじましくないかもしくは寒くないか両方ともだ fact5: もし仮にある物は対角行列でなくてしかも電気陰性度でないとしたら児童文化である fact6: もし「なにがしかのものは児童文化でないかまたは汚れ易くないかもしくは両方ともである」ということは成り立つとしたら対角行列だ fact7: この伝記作家達は児童文化であるかまたは汚れ易くない fact8: もし「この腎虚は短縮するし根本規定だ」ということは成り立つということはないとするとそれは短縮しない fact9: 仮に「そのコード進行は大産地でないけれど海原だ」ということは成り立たないとしたらこの酸素消費量は根本規定でない fact10: この伝記作家達が汚れ易くないしそれにいじましくないとするとその本券はいじましくない fact11: この伝記作家達は児童文化でないかそれは汚れ易いかまたは両方ともだ fact12: もし仮にそのコード進行は青くないとしたら「大産地でなくて海原である」ということは誤りである fact13: この腎虚が電気陰性度でないかまたはいじましくないかまたは両方であるとすれば汚れ易い fact14: もしもこの腎虚が電気陰性度であるとすればその本券はいじましい fact15: 嫌らしいということはない物は対角行列でないし更に電気陰性度でない fact16: 仮にこの腎虚は短縮するということはないなら「この伝記作家達は嫌らしくない」ということは事実である
fact2 -> int1: この伝記作家達は児童文化だということはないか汚れ易くない; fact6 -> int2: もし仮にこの伝記作家達が児童文化だということはないかもしくはそれは汚れ易くないかあるいは両方ともであるとすればそれは対角行列だ; int1 & int2 -> int3: この伝記作家達は対角行列である; int3 & fact1 -> int4: この腎虚は電気陰性度である; int4 & fact14 -> hypothesis;
この伝記作家達はいじましいということはないかそれは寒くない
$facts$ = fact1: 仮にこの伝記作家達が対角行列であるならこの腎虚は電気陰性度である fact2: この伝記作家達は児童文化でない fact3: そのコード進行は青くない fact4: 仮にこの腎虚が児童文化でないとするとこの伝記作家達はいじましくないかもしくは寒くないか両方ともだ fact5: もし仮にある物は対角行列でなくてしかも電気陰性度でないとしたら児童文化である fact6: もし「なにがしかのものは児童文化でないかまたは汚れ易くないかもしくは両方ともである」ということは成り立つとしたら対角行列だ fact7: この伝記作家達は児童文化であるかまたは汚れ易くない fact8: もし「この腎虚は短縮するし根本規定だ」ということは成り立つということはないとするとそれは短縮しない fact9: 仮に「そのコード進行は大産地でないけれど海原だ」ということは成り立たないとしたらこの酸素消費量は根本規定でない fact10: この伝記作家達が汚れ易くないしそれにいじましくないとするとその本券はいじましくない fact11: この伝記作家達は児童文化でないかそれは汚れ易いかまたは両方ともだ fact12: もし仮にそのコード進行は青くないとしたら「大産地でなくて海原である」ということは誤りである fact13: この腎虚が電気陰性度でないかまたはいじましくないかまたは両方であるとすれば汚れ易い fact14: もしもこの腎虚が電気陰性度であるとすればその本券はいじましい fact15: 嫌らしいということはない物は対角行列でないし更に電気陰性度でない fact16: 仮にこの腎虚は短縮するということはないなら「この伝記作家達は嫌らしくない」ということは事実である ; $hypothesis$ = その本券はいじましい ; $proof$ = 
fact2 -> int1: この伝記作家達は児童文化だということはないか汚れ易くない; fact6 -> int2: もし仮にこの伝記作家達が児童文化だということはないかもしくはそれは汚れ易くないかあるいは両方ともであるとすればそれは対角行列だ; int1 & int2 -> int3: この伝記作家達は対角行列である; int3 & fact1 -> int4: この腎虚は電気陰性度である; int4 & fact14 -> hypothesis; __PROVED__
事実1: 仮にこの伝記作家達が対角行列であるならこの腎虚は電気陰性度である
事実2: この伝記作家達は児童文化でない
事実3: そのコード進行は青くない
事実4: 仮にこの腎虚が児童文化でないとするとこの伝記作家達はいじましくないかもしくは寒くないか両方ともだ
事実5: もし仮にある物は対角行列でなくてしかも電気陰性度でないとしたら児童文化である
事実6: もし「なにがしかのものは児童文化でないかまたは汚れ易くないかもしくは両方ともである」ということは成り立つとしたら対角行列だ
事実7: この伝記作家達は児童文化であるかまたは汚れ易くない
事実8: もし「この腎虚は短縮するし根本規定だ」ということは成り立つということはないとするとそれは短縮しない
事実9: 仮に「そのコード進行は大産地でないけれど海原だ」ということは成り立たないとしたらこの酸素消費量は根本規定でない
事実10: この伝記作家達が汚れ易くないしそれにいじましくないとするとその本券はいじましくない
事実11: この伝記作家達は児童文化でないかそれは汚れ易いかまたは両方ともだ
事実12: もし仮にそのコード進行は青くないとしたら「大産地でなくて海原である」ということは誤りである
事実13: この腎虚が電気陰性度でないかまたはいじましくないかまたは両方であるとすれば汚れ易い
事実14: もしもこの腎虚が電気陰性度であるとすればその本券はいじましい
事実15: 嫌らしいということはない物は対角行列でないし更に電気陰性度でない
事実16: 仮にこの腎虚は短縮するということはないなら「この伝記作家達は嫌らしくない」ということは事実である

仮説: その本券はいじましい
1. 事実2から、推論1: "この伝記作家達は児童文化だということはないか汚れ易くない"が導かれる
2. 事実6から、推論2: "もし仮にこの伝記作家達が児童文化だということはないかもしくはそれは汚れ易くないかあるいは両方ともであるとすればそれは対角行列だ"が導かれる
3. 推論1と推論2から、推論3: "この伝記作家達は対角行列である"が導かれる
4. 推論3と事実1から、推論4: "この腎虚は電気陰性度である"が導かれる
5. 推論4と事実14から、仮説が導かれる

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