その御輿は表であるかまたはそれは透徹するか両方である
fact1: もしもこの成が表でないならその御輿は常駐しない fact2: なにかは腫れぼったくないならば刺青である fact3: もしも「この成は常駐しないけど麗々しい」ということは成り立たないならばその御輿は刺青でない fact4: もしこの成が透徹しないならばその御輿は常駐しない fact5: もし仮にこの成が刺青でないとするとその御輿は常駐しない fact6: 仮にあるものがパーソナライズしないかもしくは向け続けるとしたら腫れぼったくない fact7: その御輿が常駐しないとしたらこの成は表でない fact8: 仮に何らかのものは刺青でないならば表だ fact9: 仮にその御輿が怖がりでないとすればそれは麗々しい fact10: 「この成は刺青でないけれど常駐する」ということは間違っている fact11: もしあの抑鬱傾向が梯子段でなくてそれが卒業証書でないならばこの成は差し出す fact12: もし仮に何らかのものは表でないとするとそれは常駐する fact13: 「この成は常駐しないが麗々しい」ということは成り立たない fact14: あの抑鬱傾向は幼い fact15: もし仮にあの抑鬱傾向が幼いとしたら梯子段でないし卒業証書でない fact16: 「その御輿は常駐する」ということは確かだ fact17: もし仮に何かは差し出すとしたらパーソナライズしない
fact3 & fact13 -> int1: その御輿は刺青だということはない; fact8 -> int2: もしその御輿は刺青でないならばそれは表である; int1 & int2 -> int3: その御輿は表だ; int3 -> hypothesis;
「その御輿は表であるかあるいはそれは透徹する」ということは誤りである
fact23 -> int4: もし仮にこの成が腫れぼったくないとすれば刺青である; fact22 -> int5: もしこの成がパーソナライズしないかそれは向け続けるかあるいは両方ともだとすると腫れぼったくない; fact20 -> int6: もし仮に「この成は差し出す」ということは正しいとすればパーソナライズしない; fact18 & fact21 -> int7: あの抑鬱傾向は梯子段でないしそれに卒業証書であるということはない; fact19 & int7 -> int8: この成は差し出す; int6 & int8 -> int9: この成はパーソナライズしない; int9 -> int10: この成はパーソナライズしないかあるいは向け続けるかまたはどちらもだ; int5 & int10 -> int11: この成は腫れぼったくない; int4 & int11 -> int12: この成は刺青である; int12 -> int13: あるものは刺青だ;
$facts$ = fact1: もしもこの成が表でないならその御輿は常駐しない fact2: なにかは腫れぼったくないならば刺青である fact3: もしも「この成は常駐しないけど麗々しい」ということは成り立たないならばその御輿は刺青でない fact4: もしこの成が透徹しないならばその御輿は常駐しない fact5: もし仮にこの成が刺青でないとするとその御輿は常駐しない fact6: 仮にあるものがパーソナライズしないかもしくは向け続けるとしたら腫れぼったくない fact7: その御輿が常駐しないとしたらこの成は表でない fact8: 仮に何らかのものは刺青でないならば表だ fact9: 仮にその御輿が怖がりでないとすればそれは麗々しい fact10: 「この成は刺青でないけれど常駐する」ということは間違っている fact11: もしあの抑鬱傾向が梯子段でなくてそれが卒業証書でないならばこの成は差し出す fact12: もし仮に何らかのものは表でないとするとそれは常駐する fact13: 「この成は常駐しないが麗々しい」ということは成り立たない fact14: あの抑鬱傾向は幼い fact15: もし仮にあの抑鬱傾向が幼いとしたら梯子段でないし卒業証書でない fact16: 「その御輿は常駐する」ということは確かだ fact17: もし仮に何かは差し出すとしたらパーソナライズしない ; $hypothesis$ = その御輿は表であるかまたはそれは透徹するか両方である ; $proof$ = 
fact3 & fact13 -> int1: その御輿は刺青だということはない; fact8 -> int2: もしその御輿は刺青でないならばそれは表である; int1 & int2 -> int3: その御輿は表だ; int3 -> hypothesis; __PROVED__
事実1: もしもこの成が表でないならその御輿は常駐しない
事実2: なにかは腫れぼったくないならば刺青である
事実3: もしも「この成は常駐しないけど麗々しい」ということは成り立たないならばその御輿は刺青でない
事実4: もしこの成が透徹しないならばその御輿は常駐しない
事実5: もし仮にこの成が刺青でないとするとその御輿は常駐しない
事実6: 仮にあるものがパーソナライズしないかもしくは向け続けるとしたら腫れぼったくない
事実7: その御輿が常駐しないとしたらこの成は表でない
事実8: 仮に何らかのものは刺青でないならば表だ
事実9: 仮にその御輿が怖がりでないとすればそれは麗々しい
事実10: 「この成は刺青でないけれど常駐する」ということは間違っている
事実11: もしあの抑鬱傾向が梯子段でなくてそれが卒業証書でないならばこの成は差し出す
事実12: もし仮に何らかのものは表でないとするとそれは常駐する
事実13: 「この成は常駐しないが麗々しい」ということは成り立たない
事実14: あの抑鬱傾向は幼い
事実15: もし仮にあの抑鬱傾向が幼いとしたら梯子段でないし卒業証書でない
事実16: 「その御輿は常駐する」ということは確かだ
事実17: もし仮に何かは差し出すとしたらパーソナライズしない

仮説: その御輿は表であるかまたはそれは透徹するか両方である
1. 事実3と事実13から、推論1: "その御輿は刺青だということはない"が導かれる
2. 事実8から、推論2: "もしその御輿は刺青でないならばそれは表である"が導かれる
3. 推論1と推論2から、推論3: "その御輿は表だ"が導かれる
4. 推論3から、仮説が導かれる

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