「その絶賛は逸る」ということは本当だ
fact1: もし仮に何かは宇宙観でないとしたらラッセルでないかもしくは薄ら寒いかあるいは両方だ fact2: もしもあの左腕が宇宙観でないとすればあの年創業は逸るし広告塔だ fact3: そのハプスブルク家はラッセルでない fact4: もし仮にそのハプスブルク家がラッセルだということはないとしたらあの特別メニューは薄ら寒いかまたはそれは安全性向上である fact5: 仮にその絶賛がラッセルでないとすればそれは逸る fact6: あの遊牧民達は悶え狂う fact7: 仮にその絶賛がラッセルでないかまたは薄ら寒いかもしくはどちらもであるとしたらそれは逸る fact8: もしなんらかの物が宇宙観でないとするとラッセルであるかあるいは薄ら寒いか両方である fact9: あの胆汁は広告塔でない fact10: もしあの左腕が瓦屋根だということはないなら安全性向上でない fact11: 仮にあの年創業が広告塔であるしさらに悶え狂うならあの左腕は瓦屋根であるということはない fact12: あの左腕は安全性向上である fact13: あの年創業は悶え狂う fact14: もしもあの年創業は逸るし加えて広告塔ならば「その絶賛は逸らない」ということは確かである fact15: もしその絶賛が宇宙観であるならばあの年創業は広告塔である
void -> assump1: 以下のように仮定する。その絶賛は宇宙観である; fact15 & assump1 -> int1: あの年創業は広告塔だ; int1 & fact13 -> int2: あの年創業は広告塔でおまけに悶え狂う; int2 & fact11 -> int3: あの左腕は瓦屋根でない; int3 & fact10 -> int4: あの左腕は安全性向上でない; int4 & fact12 -> int5: これは矛盾である; [assump1] & int5 -> int6: その絶賛は宇宙観でない; fact1 -> int7: その絶賛は宇宙観でないとするとそれはラッセルでないかまたは薄ら寒いかあるいは両方だ; int6 & int7 -> int8: その絶賛はラッセルでないかあるいは薄ら寒い; int8 & fact7 -> hypothesis;
その絶賛は逸らない
fact17 & fact19 -> int9: あの特別メニューは薄ら寒いかまたはそれは安全性向上であるか両方ともである; int9 -> int10: 「薄ら寒いかもしくは安全性向上であるかまたは両方である」物はある;
$facts$ = fact1: もし仮に何かは宇宙観でないとしたらラッセルでないかもしくは薄ら寒いかあるいは両方だ fact2: もしもあの左腕が宇宙観でないとすればあの年創業は逸るし広告塔だ fact3: そのハプスブルク家はラッセルでない fact4: もし仮にそのハプスブルク家がラッセルだということはないとしたらあの特別メニューは薄ら寒いかまたはそれは安全性向上である fact5: 仮にその絶賛がラッセルでないとすればそれは逸る fact6: あの遊牧民達は悶え狂う fact7: 仮にその絶賛がラッセルでないかまたは薄ら寒いかもしくはどちらもであるとしたらそれは逸る fact8: もしなんらかの物が宇宙観でないとするとラッセルであるかあるいは薄ら寒いか両方である fact9: あの胆汁は広告塔でない fact10: もしあの左腕が瓦屋根だということはないなら安全性向上でない fact11: 仮にあの年創業が広告塔であるしさらに悶え狂うならあの左腕は瓦屋根であるということはない fact12: あの左腕は安全性向上である fact13: あの年創業は悶え狂う fact14: もしもあの年創業は逸るし加えて広告塔ならば「その絶賛は逸らない」ということは確かである fact15: もしその絶賛が宇宙観であるならばあの年創業は広告塔である ; $hypothesis$ = 「その絶賛は逸る」ということは本当だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その絶賛は宇宙観である; fact15 & assump1 -> int1: あの年創業は広告塔だ; int1 & fact13 -> int2: あの年創業は広告塔でおまけに悶え狂う; int2 & fact11 -> int3: あの左腕は瓦屋根でない; int3 & fact10 -> int4: あの左腕は安全性向上でない; int4 & fact12 -> int5: これは矛盾である; [assump1] & int5 -> int6: その絶賛は宇宙観でない; fact1 -> int7: その絶賛は宇宙観でないとするとそれはラッセルでないかまたは薄ら寒いかあるいは両方だ; int6 & int7 -> int8: その絶賛はラッセルでないかあるいは薄ら寒い; int8 & fact7 -> hypothesis; __PROVED__
事実1: もし仮に何かは宇宙観でないとしたらラッセルでないかもしくは薄ら寒いかあるいは両方だ
事実2: もしもあの左腕が宇宙観でないとすればあの年創業は逸るし広告塔だ
事実3: そのハプスブルク家はラッセルでない
事実4: もし仮にそのハプスブルク家がラッセルだということはないとしたらあの特別メニューは薄ら寒いかまたはそれは安全性向上である
事実5: 仮にその絶賛がラッセルでないとすればそれは逸る
事実6: あの遊牧民達は悶え狂う
事実7: 仮にその絶賛がラッセルでないかまたは薄ら寒いかもしくはどちらもであるとしたらそれは逸る
事実8: もしなんらかの物が宇宙観でないとするとラッセルであるかあるいは薄ら寒いか両方である
事実9: あの胆汁は広告塔でない
事実10: もしあの左腕が瓦屋根だということはないなら安全性向上でない
事実11: 仮にあの年創業が広告塔であるしさらに悶え狂うならあの左腕は瓦屋根であるということはない
事実12: あの左腕は安全性向上である
事実13: あの年創業は悶え狂う
事実14: もしもあの年創業は逸るし加えて広告塔ならば「その絶賛は逸らない」ということは確かである
事実15: もしその絶賛が宇宙観であるならばあの年創業は広告塔である

仮説: 「その絶賛は逸る」ということは本当だ
1. 仮定1: 以下のように仮定する。その絶賛は宇宙観である
2. 事実15と仮定1から、推論1: "あの年創業は広告塔だ"が導かれる
3. 推論1と事実13から、推論2: "あの年創業は広告塔でおまけに悶え狂う"が導かれる
4. 推論2と事実11から、推論3: "あの左腕は瓦屋根でない"が導かれる
5. 推論3と事実10から、推論4: "あの左腕は安全性向上でない"が導かれる
6. 推論4と事実12から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その絶賛は宇宙観でない"が導かれる
8. 事実1から、推論7: "その絶賛は宇宙観でないとするとそれはラッセルでないかまたは薄ら寒いかあるいは両方だ"が導かれる
9. 推論6と推論7から、推論8: "その絶賛はラッセルでないかあるいは薄ら寒い"が導かれる
10. 推論8と事実7から、仮説が導かれる

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