ICG =「 10月29日るしにゃん王国によるネコリスゲーム」のログの通ったt:を抽出する。

#時間の経過によって変化している可能性がある
#古過ぎるので手直ししています

#f:「10月29日るしにゃん王国によるネコリスゲーム」のログ =http://gamechaki.kotonet.com/etc/071029resort2.html

ICP 命題P ネコリス200匹を呼んで部屋に入れて、その中にテルさんを落とす。

#ユニバース定義 :重量および瞳の数。
t:しらす200匹+水(合計1200kg)=ヒュージネコリス200匹
t:迷い込んできた鳥+空気+天井の一部(あわせてテルさんの体重=テルさん

QED


ICP メガデウスネコリスは何故ほろんだか?を証明する

P' メガデウスネコリスは4000万年前に滅んでいる。人類以前だ。
P'メガデウスネコリスは平原に住んでいた。その時代に大きな気候変動はない。
P'メガデウスは草を食べていたようだ。
t:メガデウス・ネコリスの生息地 = 4000万年前の第5世界
t:メガデウス・ネコリス=ネコリスの亜種
t:メガデウス・ネコリスが食べていた草=メガデウス・ネコリスが消火できる草である。
t:大きな気候変動はなかった = 大きな気候変動によってネメガデウス・ネコリスは滅びなかった
t:大きな気候変動によってネメガデウス・ネコリスは滅びなかった=気候変動以外の要因でメガデウス・ネコリスは滅びた
t:メガデウス・ネコリスは草食であるが肉食もする=主食は草であったが,なんらかの事象によって肉を口にする機会があった
t:メガデウス・ネコリスは肉食である=メガデウス・ネコリスは草を主な食糧としていた
t:メガデウス・ネコリスは身体が身体が大きい(大きさは3m)=大量の草を食べる必要がある
#体重の6倍
t:メガデウス・ネコリスは草食であるが肉食もする=メガデウス・ネコリスの居る場所に肉(動物)が存在した
t:メガデウス・ネコリスは草食である=メガデウス・ネコリスと同じ草を食べるグループが存在した
t:メガデウス・ネコリスは肉を食べるようになった=メガデウス・ネコリスの消化できる草は十分には存在しない
t:大量の草を食べる必要がある かつ メガデウス・ネコリスは草食であるが肉食もする= 草食のみでは栄養が不十分であった
t:草食動物が肉を口にする=口を武器として他の生物に攻撃をする必要がある
t:メガデウス・ネコリスの消化できる草は十分には存在しない=競合する動物の食糧も不充分である
t:メガデウスネコリスは主に草を食料とする=メガデウスネコリスは肉食する為の狩りには向いていない
t:競合したあいての動物=競合の末生き延びた
t:メガデウス・ネコリスは肉を食べるようになった=メガデウス・ネコリスと同じ肉を食べる競合者が存在した
t:メガデウスネコリスは肉食する為の狩りには向いていない かつ 競合の末生き延びた = 一方的ではないにしろ、競合にまけ数をへらした
t:メガデウスネコリスは競合に負けた=メガデウスネコリスは絶滅した

QED


ICP 生きているメガデウス・ネコリスをつれてきて、南無と対面させる。

t:ここでのメガデウスネコリス=4000年前に生きて物でなければならない
t:メガデウスネコリスは食料を得られず絶滅した=メガデウスネコリスの食料があるところにメガデウスネコリスは存在する
t:メガデウス・ネコリスが絶滅した=メガデウス・ネコリスは第5世界から姿を消した
t:メガデウス・ネコリスはネコリスの亜種である=メガデウス・ネコリスは世界移動能力を残している
t:メガデウス・ネコリスは第5世界から絶滅した=メガデウス・ネコリスは世界移動をすることで第5世界から居なくなった
t:るしにゃん王国は広大な森を所有する藩国である=メガデウス・ネコリスが主食とする草がある
t:メガデウス・ネコリスは食糧を求めて世界移動した=メガデウス・ネコリスは食糧のある世界を渡り歩く
t:メガデウス・ネコリスは絶滅と称して世界移動した=かつて定住していた草原から世界移動を行った
t:メガデウスネコリス(以下、MN)の目撃情報はない=移動存在なので記憶から消えるから
t:メガデウス・ネコリスは移動存在なので記憶から消える=移動存在は記憶から消えない
t:移動存在は記憶から消えない=移動存在のTagamiさんらが国にいるので情報をきくことが出来る
t:移動存在のTagamiさんらが国にいるので情報をきくことが出来る=メガデウス・ネコリスの居場所が分かる
t:メガデウス・ネコリスの居場所が分かり,かつその質量も分かっている=S43さんの置換魔法によって呼び出すことができる
t:植物園にはメガデウス・ネコリスの主食となる草がある=大量に栽培してメガデウスを迎える用意ができる。
t:猫神アイドレスは猫と話せる=メガデウス・ネコリスと仲良くなれる

QED

タグ:

+ タグ編集
  • タグ:

このサイトはreCAPTCHAによって保護されており、Googleの プライバシーポリシー利用規約 が適用されます。

最終更新:2009年01月08日 14:14