あの我々全員は興味深いし更に美しい
fact1: 「もしも何らかの物は組織全体でないとしたら「さすらわないけど濃い」ということは間違っている」ということは真実だ fact2: もしもなんらかの物は爆散するなら「それは面接しないしまたそれはじめじめしない」ということは間違っている fact3: もしもあの我々全員が終了出来るならさすらうかあるいは半壊する fact4: その物権性は俗曲である fact5: あの我々全員は通訳する fact6: もしこの芸術哲学がさすらうとしたらそれは位置取りでないかあるいは組織全体であるか両方だ fact7: もしあの我々全員が位置取りだとすればさすらう fact8: 「その倍額は位置取りでない」ということは成り立つとすると「あの我々全員は興味深いしそれに美しい」ということは誤っている fact9: もし仮になにがしかの物がさすらうとすればそれは興味深い fact10: もし仮にあの我々全員が俗曲であるならばそれは組織全体であるかあるいはそれは濃くないかまたは両方ともだ fact11: 仮にあの市場内は自己批判しないとすれば「「この庭師は申し付かるしそれに回りくどい」ということは間違いだ」ということは事実だ fact12: 仮にこの国際希少野生動植物種が酸くないならばその各プロセスは病気発生であるし加えて爆散する fact13: 「この国際希少野生動植物種は酸いということはない」ということは事実だ fact14: もしも「書き直さない」物があるとするとあの市場内は自己批判しない fact15: この庭師は組織全体である fact16: 仮に「あるものは面接しなくてじめじめするということはない」ということは成り立たないとするとそれは書き直さない fact17: あの我々全員は位置取りである fact18: なにかは管理釣り場であるかそれは行政院研究発展考核委員会でないとしたらそれは三種法華である fact19: 仮にある物が如何するということはないとするとそれは組織全体でないしさらに俗曲でない fact20: その五パーセント以下は興味深い fact21: もしあるものが位置取りでないかもしくは組織全体であるかあるいはどちらもであるとすれば組織全体である fact22: もしあるものが興味深いかまたはそれは俗曲であるということはないならば濃い fact23: あの我々全員は俗曲だ fact24: ある物は組織全体であるかもしくは濃くないかあるいは両方ともなら美しい
fact7 & fact17 -> int1: 「あの我々全員はさすらう」ということは事実である; fact9 -> int2: もしあの我々全員はさすらうとすると「それは興味深い」ということは事実である; int1 & int2 -> int3: あの我々全員は興味深い; fact24 -> int4: 仮にあの我々全員が組織全体であるか濃くないかもしくは両方であるとしたらそれは美しい; fact23 & fact10 -> int5: あの我々全員は組織全体であるかまたは濃いということはないかあるいは両方ともである; int4 & int5 -> int6: あの我々全員は美しい; int3 & int6 -> hypothesis;
「あの我々全員は興味深いし美しい」ということは成り立たない
fact29 -> int7: もしもその倍額は組織全体でないとすれば「それはさすらわないし更に濃い」ということは確かでない; fact25 -> int8: もし仮にその倍額が如何しないならそれは組織全体であるということはなくて更に俗曲でない; fact28 -> int9: 仮に「その各プロセスは面接しないしそれにそれはじめじめしない」ということは間違いだとしたらそれは書き直さない; fact31 -> int10: もしもその各プロセスは爆散するなら「面接しないしさらにそれはじめじめしない」ということは間違っている; fact32 & fact30 -> int11: その各プロセスが病気発生だしそれは爆散する; int11 -> int12: 「その各プロセスは爆散する」ということは真実である; int10 & int12 -> int13: 「その各プロセスは面接しないしじめじめしない」ということは誤っている; int9 & int13 -> int14: その各プロセスは書き直さない; int14 -> int15: なんらかの物は書き直さない; int15 & fact26 -> int16: あの市場内は自己批判しない; fact27 & int16 -> int17: 「この庭師は申し付かるし更に回りくどい」ということは間違いだ; int17 -> int18: 「「申し付かるしさらに回りくどい」ということは間違っている」物はある;
$facts$ = fact1: 「もしも何らかの物は組織全体でないとしたら「さすらわないけど濃い」ということは間違っている」ということは真実だ fact2: もしもなんらかの物は爆散するなら「それは面接しないしまたそれはじめじめしない」ということは間違っている fact3: もしもあの我々全員が終了出来るならさすらうかあるいは半壊する fact4: その物権性は俗曲である fact5: あの我々全員は通訳する fact6: もしこの芸術哲学がさすらうとしたらそれは位置取りでないかあるいは組織全体であるか両方だ fact7: もしあの我々全員が位置取りだとすればさすらう fact8: 「その倍額は位置取りでない」ということは成り立つとすると「あの我々全員は興味深いしそれに美しい」ということは誤っている fact9: もし仮になにがしかの物がさすらうとすればそれは興味深い fact10: もし仮にあの我々全員が俗曲であるならばそれは組織全体であるかあるいはそれは濃くないかまたは両方ともだ fact11: 仮にあの市場内は自己批判しないとすれば「「この庭師は申し付かるしそれに回りくどい」ということは間違いだ」ということは事実だ fact12: 仮にこの国際希少野生動植物種が酸くないならばその各プロセスは病気発生であるし加えて爆散する fact13: 「この国際希少野生動植物種は酸いということはない」ということは事実だ fact14: もしも「書き直さない」物があるとするとあの市場内は自己批判しない fact15: この庭師は組織全体である fact16: 仮に「あるものは面接しなくてじめじめするということはない」ということは成り立たないとするとそれは書き直さない fact17: あの我々全員は位置取りである fact18: なにかは管理釣り場であるかそれは行政院研究発展考核委員会でないとしたらそれは三種法華である fact19: 仮にある物が如何するということはないとするとそれは組織全体でないしさらに俗曲でない fact20: その五パーセント以下は興味深い fact21: もしあるものが位置取りでないかもしくは組織全体であるかあるいはどちらもであるとすれば組織全体である fact22: もしあるものが興味深いかまたはそれは俗曲であるということはないならば濃い fact23: あの我々全員は俗曲だ fact24: ある物は組織全体であるかもしくは濃くないかあるいは両方ともなら美しい ; $hypothesis$ = あの我々全員は興味深いし更に美しい ; $proof$ = 
fact7 & fact17 -> int1: 「あの我々全員はさすらう」ということは事実である; fact9 -> int2: もしあの我々全員はさすらうとすると「それは興味深い」ということは事実である; int1 & int2 -> int3: あの我々全員は興味深い; fact24 -> int4: 仮にあの我々全員が組織全体であるか濃くないかもしくは両方であるとしたらそれは美しい; fact23 & fact10 -> int5: あの我々全員は組織全体であるかまたは濃いということはないかあるいは両方ともである; int4 & int5 -> int6: あの我々全員は美しい; int3 & int6 -> 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: あの我々全員は俗曲だ
事実24: ある物は組織全体であるかもしくは濃くないかあるいは両方ともなら美しい

仮説: あの我々全員は興味深いし更に美しい
1. 事実7と事実17から、推論1: "「あの我々全員はさすらう」ということは事実である"が導かれる
2. 事実9から、推論2: "もしあの我々全員はさすらうとすると「それは興味深い」ということは事実である"が導かれる
3. 推論1と推論2から、推論3: "あの我々全員は興味深い"が導かれる
4. 事実24から、推論4: "仮にあの我々全員が組織全体であるか濃くないかもしくは両方であるとしたらそれは美しい"が導かれる
5. 事実23と事実10から、推論5: "あの我々全員は組織全体であるかまたは濃いということはないかあるいは両方ともである"が導かれる
6. 推論4と推論5から、推論6: "あの我々全員は美しい"が導かれる
7. 推論3と推論6から、仮説が導かれる

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