あのＡＨは足蹴でない
fact1: あのリーダは鉄条網である fact2: もしその停泊中が愛しいならばマイコンだ fact3: あのリーダは大山でない fact4: もしもその停泊中は足蹴であるとしたら「あのＡＨは愛しい」ということは本当である fact5: その停泊中が話し辛いなら鉄条網である fact6: その流動比率は嘗め回すけれど入れ為さらない fact7: あの脂肪織は愛しい fact8: その停泊中は諮詢する fact9: あのインターネット時代は携行する fact10: あのインターネット時代は大山でない fact11: もしもあのＡＨが足蹴であるならばあの停泊中は諮詢する fact12: あのＡＨはマイコンだ fact13: もし仮にその停泊中は大山であるならそれは話し辛い fact14: 仮にその停泊中は諮詢するけど愛しくないならばそれは話し辛い fact15: その停泊中は大山でない fact16: もしあのインターネット時代はマイコンであるとすると「あのリーダは大山だ」ということは本当である fact17: あのリーダは足蹴だ一方で諮詢しないならそれは大山である fact18: あの鳥瞰図表示はセルＤである一方でマイコンでない fact19: もしもその停泊中は鉄条網だとすれば「あのインターネット時代はマイコンだ」ということは確かだ fact20: もし仮にある物はマイコンであるということはないならそれは話し辛くてまた鉄条網だ fact21: もしなにがしかの物は話し辛いなら「それは足蹴である」ということは確かである fact22: あのリーダは感じ易いけれどそれは仕舞わない fact23: あのリーダは愛しい fact24: あのインターネット時代は鉄条網である fact25: あのＡＨが足蹴ならばその停泊中は諮詢するがしかしそれは愛しくない fact26: 大山はマイコンでない
void -> assump1: 以下のように仮定する。あのＡＨは足蹴である; fact25 & assump1 -> int1: その停泊中は諮詢するが愛しくない; int1 & fact14 -> int2: その停泊中は話し辛い; int2 & fact5 -> int3: その停泊中は鉄条網である; int3 & fact19 -> int4: あのインターネット時代はマイコンだ; int4 & fact16 -> int5: あのリーダは大山である; int5 & fact3 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
あのＡＨは足蹴だ
fact28 -> int7: もし仮にあのＡＨが話し辛いとすれば足蹴である; fact27 -> int8: あのＡＨはマイコンでないならばそれは話し辛くておまけに鉄条網だ; fact29 -> int9: 仮にあのＡＨが大山だとしたらそれはマイコンでない;
$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: あのインターネット時代は鉄条網である fact25: あのＡＨが足蹴ならばその停泊中は諮詢するがしかしそれは愛しくない fact26: 大山はマイコンでない ; $hypothesis$ = あのＡＨは足蹴でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＡＨは足蹴である; fact25 & assump1 -> int1: その停泊中は諮詢するが愛しくない; int1 & fact14 -> int2: その停泊中は話し辛い; int2 & fact5 -> int3: その停泊中は鉄条網である; int3 & fact19 -> int4: あのインターネット時代はマイコンだ; int4 & fact16 -> int5: あのリーダは大山である; int5 & fact3 -> int6: これは矛盾である; [assump1] & 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: あのインターネット時代は鉄条網である
事実25: あのＡＨが足蹴ならばその停泊中は諮詢するがしかしそれは愛しくない
事実26: 大山はマイコンでない

仮説: あのＡＨは足蹴でない
1. 仮定1: 以下のように仮定する。あのＡＨは足蹴である
2. 事実25と仮定1から、推論1: "その停泊中は諮詢するが愛しくない"が導かれる
3. 推論1と事実14から、推論2: "その停泊中は話し辛い"が導かれる
4. 推論2と事実5から、推論3: "その停泊中は鉄条網である"が導かれる
5. 推論3と事実19から、推論4: "あのインターネット時代はマイコンだ"が導かれる
6. 推論4と事実16から、推論5: "あのリーダは大山である"が導かれる
7. 推論5と事実3から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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