この高等動物は接触出来る一方で立ち回らない
fact1: あの思い人は接触出来る fact2: もしもこの高等動物が立ち回るとしたらそれは生卵である fact3: あのテロ行為防止はさんざめくということはない fact4: もしその体験版がし損なうとすればあの高等動物は生卵でないかまたはそれは解消出来る fact5: もし仮にあのクリアリング・バンクが好走するとしたらそのアルミニウムはさんざめく fact6: この高等動物は接触出来る fact7: あのクリアリング・バンクは立ち回らない fact8: もしもその体験版はし損なわないかさんざめくかもしくは両方であるとしたら解消出来る fact9: その体験版が解消出来ないならそれは食糧切符である fact10: そのアルミニウムは生卵である fact11: もし仮にあのクリアリング・バンクは解消出来るとしたら「その体験版は生卵でないがしかしし損なう」ということは事実と異なる fact12: あのクリアリング・バンクはさんざめく fact13: あの一院制は立ち回る fact14: もし仮にその体験版が食糧切符ならばあのクリアリング・バンクは好走する fact15: そのアルミニウムはさんざめくということはない fact16: もし仮に「この高等動物は生卵だ」ということは本当だとするとその体験版は解消出来ないかし損なうかまたは両方ともだ fact17: もしも「何らかのものは食糧切符だがしかし好走しない」ということは嘘であるとするとそれは解消出来る fact18: その体験版は解消出来るかあるいはそれはし損なうかもしくは両方ともだ fact19: 仮になにかはさんざめくとすれば「食糧切符であるけど好走しない」ということは間違いだ fact20: もしこの高等動物は生卵であるとしたら「その体験版は解消出来るかし損なう」ということは真実である fact21: もし仮にその体験版は解消出来ないかまたはし損なうかあるいはどちらもであるならそれは食糧切符だ
void -> assump1: 以下のように仮定する。「この高等動物は立ち回る」ということは事実だ; fact2 & assump1 -> int1: この高等動物は生卵である; int1 & fact16 -> int2: その体験版は解消出来ないかもしくはし損なうかあるいは両方ともだ; int2 & fact21 -> int3: その体験版は食糧切符だ; int3 & fact14 -> int4: あのクリアリング・バンクは好走する; int4 & fact5 -> int5: そのアルミニウムはさんざめく; int5 & fact15 -> int6: これは矛盾である; [assump1] & int6 -> int7: この高等動物は立ち回らない; int7 & fact6 -> hypothesis;
「この高等動物は接触出来る一方で立ち回るということはない」ということは嘘だ
fact24 -> int8: もし「あのクリアリング・バンクは食糧切符であるけれどそれは好走するということはない」ということは間違っていれば解消出来る; fact22 -> int9: あのクリアリング・バンクはさんざめくとすれば「それは食糧切符だ一方で好走しない」ということは間違いである;
$facts$ = fact1: あの思い人は接触出来る fact2: もしもこの高等動物が立ち回るとしたらそれは生卵である fact3: あのテロ行為防止はさんざめくということはない fact4: もしその体験版がし損なうとすればあの高等動物は生卵でないかまたはそれは解消出来る fact5: もし仮にあのクリアリング・バンクが好走するとしたらそのアルミニウムはさんざめく fact6: この高等動物は接触出来る fact7: あのクリアリング・バンクは立ち回らない fact8: もしもその体験版はし損なわないかさんざめくかもしくは両方であるとしたら解消出来る fact9: その体験版が解消出来ないならそれは食糧切符である fact10: そのアルミニウムは生卵である fact11: もし仮にあのクリアリング・バンクは解消出来るとしたら「その体験版は生卵でないがしかしし損なう」ということは事実と異なる fact12: あのクリアリング・バンクはさんざめく fact13: あの一院制は立ち回る fact14: もし仮にその体験版が食糧切符ならばあのクリアリング・バンクは好走する fact15: そのアルミニウムはさんざめくということはない fact16: もし仮に「この高等動物は生卵だ」ということは本当だとするとその体験版は解消出来ないかし損なうかまたは両方ともだ fact17: もしも「何らかのものは食糧切符だがしかし好走しない」ということは嘘であるとするとそれは解消出来る fact18: その体験版は解消出来るかあるいはそれはし損なうかもしくは両方ともだ fact19: 仮になにかはさんざめくとすれば「食糧切符であるけど好走しない」ということは間違いだ fact20: もしこの高等動物は生卵であるとしたら「その体験版は解消出来るかし損なう」ということは真実である fact21: もし仮にその体験版は解消出来ないかまたはし損なうかあるいはどちらもであるならそれは食糧切符だ ; $hypothesis$ = この高等動物は接触出来る一方で立ち回らない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この高等動物は立ち回る」ということは事実だ; fact2 & assump1 -> int1: この高等動物は生卵である; int1 & fact16 -> int2: その体験版は解消出来ないかもしくはし損なうかあるいは両方ともだ; int2 & fact21 -> int3: その体験版は食糧切符だ; int3 & fact14 -> int4: あのクリアリング・バンクは好走する; int4 & fact5 -> int5: そのアルミニウムはさんざめく; int5 & fact15 -> int6: これは矛盾である; [assump1] & int6 -> int7: この高等動物は立ち回らない; int7 & fact6 -> hypothesis; __PROVED__
事実1: あの思い人は接触出来る
事実2: もしもこの高等動物が立ち回るとしたらそれは生卵である
事実3: あのテロ行為防止はさんざめくということはない
事実4: もしその体験版がし損なうとすればあの高等動物は生卵でないかまたはそれは解消出来る
事実5: もし仮にあのクリアリング・バンクが好走するとしたらそのアルミニウムはさんざめく
事実6: この高等動物は接触出来る
事実7: あのクリアリング・バンクは立ち回らない
事実8: もしもその体験版はし損なわないかさんざめくかもしくは両方であるとしたら解消出来る
事実9: その体験版が解消出来ないならそれは食糧切符である
事実10: そのアルミニウムは生卵である
事実11: もし仮にあのクリアリング・バンクは解消出来るとしたら「その体験版は生卵でないがしかしし損なう」ということは事実と異なる
事実12: あのクリアリング・バンクはさんざめく
事実13: あの一院制は立ち回る
事実14: もし仮にその体験版が食糧切符ならばあのクリアリング・バンクは好走する
事実15: そのアルミニウムはさんざめくということはない
事実16: もし仮に「この高等動物は生卵だ」ということは本当だとするとその体験版は解消出来ないかし損なうかまたは両方ともだ
事実17: もしも「何らかのものは食糧切符だがしかし好走しない」ということは嘘であるとするとそれは解消出来る
事実18: その体験版は解消出来るかあるいはそれはし損なうかもしくは両方ともだ
事実19: 仮になにかはさんざめくとすれば「食糧切符であるけど好走しない」ということは間違いだ
事実20: もしこの高等動物は生卵であるとしたら「その体験版は解消出来るかし損なう」ということは真実である
事実21: もし仮にその体験版は解消出来ないかまたはし損なうかあるいはどちらもであるならそれは食糧切符だ

仮説: この高等動物は接触出来る一方で立ち回らない
1. 仮定1: 以下のように仮定する。「この高等動物は立ち回る」ということは事実だ
2. 事実2と仮定1から、推論1: "この高等動物は生卵である"が導かれる
3. 推論1と事実16から、推論2: "その体験版は解消出来ないかもしくはし損なうかあるいは両方ともだ"が導かれる
4. 推論2と事実21から、推論3: "その体験版は食糧切符だ"が導かれる
5. 推論3と事実14から、推論4: "あのクリアリング・バンクは好走する"が導かれる
6. 推論4と事実5から、推論5: "そのアルミニウムはさんざめく"が導かれる
7. 推論5と事実15から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この高等動物は立ち回らない"が導かれる
9. 推論7と事実6から、仮説が導かれる

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