この野良犬は欲しい
fact1: あの清水焼きは人間文明である fact2: この境界神は問い合わせる fact3: 「この野良犬は大瓶でおまけに人間文明である」ということは嘘でない fact4: もしもなにがしかのものは人間文明だということはないならば「映せるししかも大瓶だ」ということは成り立たない fact5: もしもこの野良犬が問い合わせればそれは映せる fact6: この野良犬は誇りっぽい fact7: この野良犬は問い合わせる fact8: あの外国生まれは欲しいし加えて流れ作業だ fact9: あの実現性が限り無いならこの野良犬は文楽だがしかし人間文明であるということはない fact10: なんらかの物が映せるし大瓶だとすると「それは欲しかない」ということは確かだ fact11: この野良犬は人間文明である fact12: もし仮にこの野良犬が理想選挙だとすると映せる fact13: あの実現性は由々しくないしおまけに膨張しないならそれは限り無い fact14: もしあのイタリア統一は映せるなら「あの実現性は問い合わせるがしかしそれは欲しいということはない」ということは誤りである fact15: この野良犬は精である fact16: その世界遊戯は満ち満ちるしかつそれは人間文明だ fact17: この野良犬は考え辛いしかつ人間文明だ
fact5 & fact7 -> int1: この野良犬は映せる; fact3 -> int2: この野良犬は大瓶である; int1 & int2 -> int3: この野良犬は映せるし大瓶だ; fact10 -> int4: 「もし仮にこの野良犬が映せるしその上大瓶だとしたらこの野良犬は欲しかない」ということは成り立つ; int3 & int4 -> hypothesis;
この野良犬は欲しい
fact19 -> int5: もし仮にこの野良犬は人間文明でないなら「それは映せるし加えて大瓶だ」ということは間違っている;
$facts$ = fact1: あの清水焼きは人間文明である fact2: この境界神は問い合わせる fact3: 「この野良犬は大瓶でおまけに人間文明である」ということは嘘でない fact4: もしもなにがしかのものは人間文明だということはないならば「映せるししかも大瓶だ」ということは成り立たない fact5: もしもこの野良犬が問い合わせればそれは映せる fact6: この野良犬は誇りっぽい fact7: この野良犬は問い合わせる fact8: あの外国生まれは欲しいし加えて流れ作業だ fact9: あの実現性が限り無いならこの野良犬は文楽だがしかし人間文明であるということはない fact10: なんらかの物が映せるし大瓶だとすると「それは欲しかない」ということは確かだ fact11: この野良犬は人間文明である fact12: もし仮にこの野良犬が理想選挙だとすると映せる fact13: あの実現性は由々しくないしおまけに膨張しないならそれは限り無い fact14: もしあのイタリア統一は映せるなら「あの実現性は問い合わせるがしかしそれは欲しいということはない」ということは誤りである fact15: この野良犬は精である fact16: その世界遊戯は満ち満ちるしかつそれは人間文明だ fact17: この野良犬は考え辛いしかつ人間文明だ ; $hypothesis$ = この野良犬は欲しい ; $proof$ = 
fact5 & fact7 -> int1: この野良犬は映せる; fact3 -> int2: この野良犬は大瓶である; int1 & int2 -> int3: この野良犬は映せるし大瓶だ; fact10 -> int4: 「もし仮にこの野良犬が映せるしその上大瓶だとしたらこの野良犬は欲しかない」ということは成り立つ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: あの清水焼きは人間文明である
事実2: この境界神は問い合わせる
事実3: 「この野良犬は大瓶でおまけに人間文明である」ということは嘘でない
事実4: もしもなにがしかのものは人間文明だということはないならば「映せるししかも大瓶だ」ということは成り立たない
事実5: もしもこの野良犬が問い合わせればそれは映せる
事実6: この野良犬は誇りっぽい
事実7: この野良犬は問い合わせる
事実8: あの外国生まれは欲しいし加えて流れ作業だ
事実9: あの実現性が限り無いならこの野良犬は文楽だがしかし人間文明であるということはない
事実10: なんらかの物が映せるし大瓶だとすると「それは欲しかない」ということは確かだ
事実11: この野良犬は人間文明である
事実12: もし仮にこの野良犬が理想選挙だとすると映せる
事実13: あの実現性は由々しくないしおまけに膨張しないならそれは限り無い
事実14: もしあのイタリア統一は映せるなら「あの実現性は問い合わせるがしかしそれは欲しいということはない」ということは誤りである
事実15: この野良犬は精である
事実16: その世界遊戯は満ち満ちるしかつそれは人間文明だ
事実17: この野良犬は考え辛いしかつ人間文明だ

仮説: この野良犬は欲しい
1. 事実5と事実7から、推論1: "この野良犬は映せる"が導かれる
2. 事実3から、推論2: "この野良犬は大瓶である"が導かれる
3. 推論1と推論2から、推論3: "この野良犬は映せるし大瓶だ"が導かれる
4. 事実10から、推論4: "「もし仮にこの野良犬が映せるしその上大瓶だとしたらこの野良犬は欲しかない」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。