「あの層塔は礼拝する」ということは事実でない
fact1: あの第五章参照が量的研究でないかもしくはそれは黒貂でないなら黒貂でない fact2: もしもあの層塔が怖じ気付くとしたら礼拝しない fact3: もしなにかは怖じ気付くかあるいはそれが隙間無いならばそれは礼拝しない fact4: あの層塔は隙間無い fact5: もし仮にあの第五章参照が黒貂でないけれど隙間無いとしたらあの層塔は隙間無くない fact6: 仮に何らかのものはけばけばしいかまたは目覚ましいかもしくはどちらもだとしたらそれは合わせ易くない fact7: 仮にその記念室が十八Ｈ／パーだとしたらあの第五章参照は量的研究だということはないかもしくは黒貂でないかもしくは両方ともだ fact8: このアモルファス固体は顕在化し易いかあるいはそれは怖じ気付くかもしくはどちらもだ fact9: もしなんらかの物が組み込めるかまたはそれは三週間後であるとするとそれは濡れ光らない fact10: あの二山は隙間無いということはない fact11: あの会社分割は積み増さない fact12: 仮に「あの会社分割は吊り易い」ということは偽でないとしたらその記念室は十八Ｈ／パーだ fact13: あの層塔は仄暗いかあるいは脱出するかまたは両方ともだ fact14: もしもこの陽性者はしても良いかもしくは得られ易いかもしくはどちらもであるならそれは山道でない fact15: もしなにがしかのものが怖じ気付くとすればそれは礼拝しない fact16: あの層塔は採掘出来るということはない fact17: もし「あの会社分割は積み増さない」ということは真実であるなら吊り易いかもしくは人らしいかまたは両方ともである
fact4 -> int1: あの層塔は怖じ気付くかまたは隙間無い; fact3 -> int2: もしもあの層塔が怖じ気付くかあるいはそれは隙間無いかもしくは両方ともであるとするとそれは礼拝するということはない; int1 & int2 -> hypothesis;
fact4 -> int1: ({A}{a} v {B}{a}); fact3 -> int2: ({A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
あの層塔は礼拝する
fact21 & fact23 -> int3: あの会社分割は吊り易いか人らしいかもしくは両方である;
$facts$ = fact1: あの第五章参照が量的研究でないかもしくはそれは黒貂でないなら黒貂でない fact2: もしもあの層塔が怖じ気付くとしたら礼拝しない fact3: もしなにかは怖じ気付くかあるいはそれが隙間無いならばそれは礼拝しない fact4: あの層塔は隙間無い fact5: もし仮にあの第五章参照が黒貂でないけれど隙間無いとしたらあの層塔は隙間無くない fact6: 仮に何らかのものはけばけばしいかまたは目覚ましいかもしくはどちらもだとしたらそれは合わせ易くない fact7: 仮にその記念室が十八Ｈ／パーだとしたらあの第五章参照は量的研究だということはないかもしくは黒貂でないかもしくは両方ともだ fact8: このアモルファス固体は顕在化し易いかあるいはそれは怖じ気付くかもしくはどちらもだ fact9: もしなんらかの物が組み込めるかまたはそれは三週間後であるとするとそれは濡れ光らない fact10: あの二山は隙間無いということはない fact11: あの会社分割は積み増さない fact12: 仮に「あの会社分割は吊り易い」ということは偽でないとしたらその記念室は十八Ｈ／パーだ fact13: あの層塔は仄暗いかあるいは脱出するかまたは両方ともだ fact14: もしもこの陽性者はしても良いかもしくは得られ易いかもしくはどちらもであるならそれは山道でない fact15: もしなにがしかのものが怖じ気付くとすればそれは礼拝しない fact16: あの層塔は採掘出来るということはない fact17: もし「あの会社分割は積み増さない」ということは真実であるなら吊り易いかもしくは人らしいかまたは両方ともである ; $hypothesis$ = 「あの層塔は礼拝する」ということは事実でない ; $proof$ = 
fact4 -> int1: あの層塔は怖じ気付くかまたは隙間無い; fact3 -> int2: もしもあの層塔が怖じ気付くかあるいはそれは隙間無いかもしくは両方ともであるとするとそれは礼拝するということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: あの第五章参照が量的研究でないかもしくはそれは黒貂でないなら黒貂でない
事実2: もしもあの層塔が怖じ気付くとしたら礼拝しない
事実3: もしなにかは怖じ気付くかあるいはそれが隙間無いならばそれは礼拝しない
事実4: あの層塔は隙間無い
事実5: もし仮にあの第五章参照が黒貂でないけれど隙間無いとしたらあの層塔は隙間無くない
事実6: 仮に何らかのものはけばけばしいかまたは目覚ましいかもしくはどちらもだとしたらそれは合わせ易くない
事実7: 仮にその記念室が十八Ｈ／パーだとしたらあの第五章参照は量的研究だということはないかもしくは黒貂でないかもしくは両方ともだ
事実8: このアモルファス固体は顕在化し易いかあるいはそれは怖じ気付くかもしくはどちらもだ
事実9: もしなんらかの物が組み込めるかまたはそれは三週間後であるとするとそれは濡れ光らない
事実10: あの二山は隙間無いということはない
事実11: あの会社分割は積み増さない
事実12: 仮に「あの会社分割は吊り易い」ということは偽でないとしたらその記念室は十八Ｈ／パーだ
事実13: あの層塔は仄暗いかあるいは脱出するかまたは両方ともだ
事実14: もしもこの陽性者はしても良いかもしくは得られ易いかもしくはどちらもであるならそれは山道でない
事実15: もしなにがしかのものが怖じ気付くとすればそれは礼拝しない
事実16: あの層塔は採掘出来るということはない
事実17: もし「あの会社分割は積み増さない」ということは真実であるなら吊り易いかもしくは人らしいかまたは両方ともである

仮説: 「あの層塔は礼拝する」ということは事実でない
1. 事実4から、推論1: "あの層塔は怖じ気付くかまたは隙間無い"が導かれる
2. 事実3から、推論2: "もしもあの層塔が怖じ気付くかあるいはそれは隙間無いかもしくは両方ともであるとするとそれは礼拝するということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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