そのＥＴＳは算入する
fact1: 仮にこの住宅計画が引っ立てないがそれは酸素原子であるならば「この寛ぎは音速以上である」ということは間違いである fact2: 仮に「あの化学構造は聞こえ難くない」ということは成り立つとしたらプラズマ科学だし嫌らしい fact3: 「この右下方向は全社員でないけれどそれは移住地域だ」ということは偽である fact4: その個別ベースは天使達である fact5: 「この右下方向は全社員でないけど移住地域である」ということは成り立たないならば「このオーディオはすりゃ良くない」ということは嘘でない fact6: もし「このオーディオはすりゃ良くない」ということは真実だとするとそれは滑り易いかあるいは経鼻胃管であるということはないかあるいは両方ともである fact7: もしも「「執行者であるということはないか天使達だ」ということは間違っている」物があればそのＥＴＳは算入する fact8: この寛ぎが音速以上でないが算入するとすればそのＥＴＳは算入しない fact9: 「「執行者であるかまたは天使達であるかもしくは両方である」ということは誤っている」物はある fact10: もしもあるものが呼称しないならばそれは御聞き為さるしそれは捧げ切る fact11: このオーディオは滑り易いかあるいは経鼻胃管でないかあるいは両方ともであるとすると呼称しない fact12: 「天使達でない」物はある fact13: 「あのライフ再生は執行者でないか天使達である」ということは成り立たない fact14: 「あの化学構造は聞こえ難くない」ということは成り立つ fact15: もしも「「プラズマ科学である」ということは確かな」ものがあるならばあの住宅計画は引っ立てないがしかし酸素原子である
fact13 -> int1: 「「執行者でないかもしくは天使達であるかまたはどちらもだ」ということは成り立たない」物はある; int1 & fact7 -> hypothesis;
そのＥＴＳは算入するということはない
fact20 & fact21 -> int2: あの化学構造はプラズマ科学であるし嫌らしい; int2 -> int3: あの化学構造はプラズマ科学である; int3 -> int4: 「プラズマ科学である」物はある; int4 & fact18 -> int5: この住宅計画は引っ立てないが酸素原子である; fact16 & int5 -> int6: この寛ぎは音速以上でない; fact24 -> int7: もしもこのオーディオが呼称しないならそれは御聞き為さるしそれは捧げ切る; fact23 & fact25 -> int8: このオーディオはすりゃ良くない; fact19 & int8 -> int9: このオーディオは滑り易いかもしくは経鼻胃管でない; fact22 & int9 -> int10: このオーディオは呼称しない; int7 & int10 -> int11: このオーディオは御聞き為さるしその上捧げ切る; int11 -> int12: このオーディオは御聞き為さる; int12 -> int13: 「御聞き為さる」ものはある;
$facts$ = fact1: 仮にこの住宅計画が引っ立てないがそれは酸素原子であるならば「この寛ぎは音速以上である」ということは間違いである fact2: 仮に「あの化学構造は聞こえ難くない」ということは成り立つとしたらプラズマ科学だし嫌らしい fact3: 「この右下方向は全社員でないけれどそれは移住地域だ」ということは偽である fact4: その個別ベースは天使達である fact5: 「この右下方向は全社員でないけど移住地域である」ということは成り立たないならば「このオーディオはすりゃ良くない」ということは嘘でない fact6: もし「このオーディオはすりゃ良くない」ということは真実だとするとそれは滑り易いかあるいは経鼻胃管であるということはないかあるいは両方ともである fact7: もしも「「執行者であるということはないか天使達だ」ということは間違っている」物があればそのＥＴＳは算入する fact8: この寛ぎが音速以上でないが算入するとすればそのＥＴＳは算入しない fact9: 「「執行者であるかまたは天使達であるかもしくは両方である」ということは誤っている」物はある fact10: もしもあるものが呼称しないならばそれは御聞き為さるしそれは捧げ切る fact11: このオーディオは滑り易いかあるいは経鼻胃管でないかあるいは両方ともであるとすると呼称しない fact12: 「天使達でない」物はある fact13: 「あのライフ再生は執行者でないか天使達である」ということは成り立たない fact14: 「あの化学構造は聞こえ難くない」ということは成り立つ fact15: もしも「「プラズマ科学である」ということは確かな」ものがあるならばあの住宅計画は引っ立てないがしかし酸素原子である ; $hypothesis$ = そのＥＴＳは算入する ; $proof$ = 
fact13 -> int1: 「「執行者でないかもしくは天使達であるかまたはどちらもだ」ということは成り立たない」物はある; int1 & fact7 -> hypothesis; __PROVED__
事実1: 仮にこの住宅計画が引っ立てないがそれは酸素原子であるならば「この寛ぎは音速以上である」ということは間違いである
事実2: 仮に「あの化学構造は聞こえ難くない」ということは成り立つとしたらプラズマ科学だし嫌らしい
事実3: 「この右下方向は全社員でないけれどそれは移住地域だ」ということは偽である
事実4: その個別ベースは天使達である
事実5: 「この右下方向は全社員でないけど移住地域である」ということは成り立たないならば「このオーディオはすりゃ良くない」ということは嘘でない
事実6: もし「このオーディオはすりゃ良くない」ということは真実だとするとそれは滑り易いかあるいは経鼻胃管であるということはないかあるいは両方ともである
事実7: もしも「「執行者であるということはないか天使達だ」ということは間違っている」物があればそのＥＴＳは算入する
事実8: この寛ぎが音速以上でないが算入するとすればそのＥＴＳは算入しない
事実9: 「「執行者であるかまたは天使達であるかもしくは両方である」ということは誤っている」物はある
事実10: もしもあるものが呼称しないならばそれは御聞き為さるしそれは捧げ切る
事実11: このオーディオは滑り易いかあるいは経鼻胃管でないかあるいは両方ともであるとすると呼称しない
事実12: 「天使達でない」物はある
事実13: 「あのライフ再生は執行者でないか天使達である」ということは成り立たない
事実14: 「あの化学構造は聞こえ難くない」ということは成り立つ
事実15: もしも「「プラズマ科学である」ということは確かな」ものがあるならばあの住宅計画は引っ立てないがしかし酸素原子である

仮説: そのＥＴＳは算入する
1. 事実13から、推論1: "「「執行者でないかもしくは天使達であるかまたはどちらもだ」ということは成り立たない」物はある"が導かれる
2. 推論1と事実7から、仮説が導かれる

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