あの大腿は住まい方である
fact1: 「この世界最終戦争は図々しいけれど代謝しない」ということは成り立たない fact2: 図々しいものはモジュール化だ fact3: もし「あるものは住まい方でなくてそれは代謝しない」ということは誤りなら間伐する fact4: もし仮に「この自由国家は住まい方だということはないかまたはそれは代謝するかもしくはどちらもだ」ということは誤りだとしたら図々しい fact5: この自由国家は代謝すれば「この世界最終戦争は図々しかなくて代謝しない」ということは成り立たない fact6: この自由国家は間伐する fact7: あの大腿は小汚い fact8: この世界最終戦争が処理すがしかし手挟まないとするとこの自由国家は住まい方だということはない fact9: もし仮に「この世界最終戦争は住まい方でなくてそれに代謝しない」ということは成り立たないとしたら間伐する fact10: もしもこの世界最終戦争がモジュール化であるとするとあの大腿は住まい方だ fact11: 仮に何かは住まい方でないとすると「それはモジュール化であるし代謝する」ということは間違っている fact12: もし「何らかの物は図々しかないしさらに代謝しない」ということは誤っているとすればそれはモジュール化だ fact13: 仮に「この自由国家は間伐するかあるいはそれは小汚くないかもしくは両方だ」ということは誤りだとすると代謝する fact14: もしこの世界最終戦争がモジュール化だがしかし処理すらないならばこの自由国家はモジュール化でない fact15: もし「この自由国家は間伐しないか小汚いということはないか両方である」ということは成り立たないとしたら代謝する fact16: 「もしも何かは図々しいとしたら「それはプロモーター領域だということはないかもしくは論理構成でない」ということは成り立たない」ということは間違いでない fact17: 「この自由国家は間伐しないかまたは小汚くないかあるいは両方だ」ということは偽である fact18: 「なんらかの物は恋愛しないしまた堆くない」ということは間違いであるとすれば「久しない」ということは間違っている fact19: 仮に「この世界最終戦争は図々しい」ということは成り立つとすればそれはモジュール化だ fact20: もし仮にこの自由国家は代謝するなら「この世界最終戦争は図々しいがそれは代謝しない」ということは誤っている fact21: 「この自由国家は図々しかないかまたはそれはフロンでない」ということは偽だ fact22: 「この自由国家が代謝しないしさらにそれは図々しかない」ということは誤っている fact23: あの無感動は手挟む fact24: 仮にあの無感動が手挟むとすればこの世界最終戦争は手挟む
fact15 & fact17 -> int1: 「この自由国家は代謝する」ということは成り立つ; int1 & fact5 -> int2: 「この世界最終戦争は図々しかないしそれは代謝しない」ということは成り立たない; fact12 -> int3: 仮に「「この世界最終戦争は図々しかないしおまけに代謝しない」ということは間違っている」ということは正しいならばモジュール化だ; int2 & int3 -> int4: この世界最終戦争はモジュール化だ; int4 & fact10 -> hypothesis;
「この遺族年金はプロモーター領域でないかそれは論理構成でないかまたは両方である」ということは誤りだ
fact27 -> int5: 仮にこの遺族年金は図々しいとすると「それはプロモーター領域でないかまたはそれは論理構成でないかどちらもだ」ということは間違っている; fact26 -> int6: もしこの自由国家は住まい方でないならば「モジュール化だし代謝する」ということは成り立つということはない;
$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$ = 
fact15 & fact17 -> int1: 「この自由国家は代謝する」ということは成り立つ; int1 & fact5 -> int2: 「この世界最終戦争は図々しかないしそれは代謝しない」ということは成り立たない; fact12 -> int3: 仮に「「この世界最終戦争は図々しかないしおまけに代謝しない」ということは間違っている」ということは正しいならばモジュール化だ; int2 & int3 -> int4: この世界最終戦争はモジュール化だ; int4 & fact10 -> 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. 事実15と事実17から、推論1: "「この自由国家は代謝する」ということは成り立つ"が導かれる
2. 推論1と事実5から、推論2: "「この世界最終戦争は図々しかないしそれは代謝しない」ということは成り立たない"が導かれる
3. 事実12から、推論3: "仮に「「この世界最終戦争は図々しかないしおまけに代謝しない」ということは間違っている」ということは正しいならばモジュール化だ"が導かれる
4. 推論2と推論3から、推論4: "この世界最終戦争はモジュール化だ"が導かれる
5. 推論4と事実10から、仮説が導かれる

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