あの語尾は亀でない
fact1: あの豊田佐吉伝は現われ易い fact2: 「あの豊田佐吉伝は懇請であるけれど野積みしない」ということは成り立たない fact3: もしも「あの豊田佐吉伝は懇請であるがしかしそれは野積みしない」ということは誤っているなら入手し易い fact4: もしあの豊田佐吉伝が現われ易いとしたらそれは刻苦しない fact5: もしもなんらかの物が刻苦しないがしかし入手し易いとすればあの語尾は亀だ
fact3 & fact2 -> int1: あの豊田佐吉伝は入手し易い; fact1 & fact4 -> int2: あの豊田佐吉伝は刻苦しない; int1 & int2 -> int3: あの豊田佐吉伝は刻苦しないが入手し易い; int3 -> int4: あるものは刻苦しない一方でそれは入手し易い; int4 & fact5 -> hypothesis;
$facts$ = fact1: あの豊田佐吉伝は現われ易い fact2: 「あの豊田佐吉伝は懇請であるけれど野積みしない」ということは成り立たない fact3: もしも「あの豊田佐吉伝は懇請であるがしかしそれは野積みしない」ということは誤っているなら入手し易い fact4: もしあの豊田佐吉伝が現われ易いとしたらそれは刻苦しない fact5: もしもなんらかの物が刻苦しないがしかし入手し易いとすればあの語尾は亀だ ; $hypothesis$ = あの語尾は亀でない ; $proof$ = 
fact3 & fact2 -> int1: あの豊田佐吉伝は入手し易い; fact1 & fact4 -> int2: あの豊田佐吉伝は刻苦しない; int1 & int2 -> int3: あの豊田佐吉伝は刻苦しないが入手し易い; int3 -> int4: あるものは刻苦しない一方でそれは入手し易い; int4 & fact5 -> hypothesis; __DISPROVED__
事実1: あの豊田佐吉伝は現われ易い
事実2: 「あの豊田佐吉伝は懇請であるけれど野積みしない」ということは成り立たない
事実3: もしも「あの豊田佐吉伝は懇請であるがしかしそれは野積みしない」ということは誤っているなら入手し易い
事実4: もしあの豊田佐吉伝が現われ易いとしたらそれは刻苦しない
事実5: もしもなんらかの物が刻苦しないがしかし入手し易いとすればあの語尾は亀だ

仮説: あの語尾は亀でない
1. 事実3と事実2から、推論1: "あの豊田佐吉伝は入手し易い"が導かれる
2. 事実1と事実4から、推論2: "あの豊田佐吉伝は刻苦しない"が導かれる
3. 推論1と推論2から、推論3: "あの豊田佐吉伝は刻苦しないが入手し易い"が導かれる
4. 推論3から、推論4: "あるものは刻苦しない一方でそれは入手し易い"が導かれる
5. 推論4と事実5から、仮説が否定される

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