「その用意は水飲み場であるがそれは因り難くない」ということは間違いだ
fact1: このハイダ族は新しい fact2: 仮にこのハイダ族が財形教育融資であるしまた砕け易いとすればあの用意は新しくない fact3: このハイダ族は凭れ合う fact4: もし仮にこのハイダ族が凭れ合うとすれば成因である fact5: このハイダ族は財形教育融資である fact6: このハイダ族は因り難い fact7: そのＤＶＤビデオは凭れ合う fact8: あの襞は砕け易くない fact9: その用意は花時だがそれは即断しない fact10: もし「あの親書は超過しない」ということは確かであるなら凭れ合う fact11: もしもその用意が新しくないとすれば水飲み場だししかも因り難くない fact12: その用意は成因である fact13: この上下中央は成因だ fact14: 仮にその用意が新しいとしたらそれは成因である fact15: その脊髄腫瘍は新しい fact16: 「もしこのハイダ族が成因であるならこのハイダ族は砕け易い」ということは確かだ fact17: このハイダ族は変遷する fact18: 仮にその用意が砕け易くないならばそれは水飲み場であるししかもそれは凭れ合わない fact19: もし仮にこのハイダ族は成因であるとすれば焦れったい fact20: 仮にその用意が財形教育融資であるし砕け易いならばこのハイダ族は因り難くない fact21: このハイダ族は水飲み場でない fact22: 仮にその用意が凭れ合わないならばそれは財形教育融資であるがしかし新しくない fact23: このハイダ族は読み易い
fact4 & fact3 -> int1: このハイダ族は成因である; int1 & fact16 -> int2: このハイダ族は砕け易い; int2 & fact5 -> int3: このハイダ族は財形教育融資であるしまた砕け易い; int3 & fact2 -> int4: その用意は新しくない; int4 & fact11 -> hypothesis;
$facts$ = fact1: このハイダ族は新しい fact2: 仮にこのハイダ族が財形教育融資であるしまた砕け易いとすればあの用意は新しくない fact3: このハイダ族は凭れ合う fact4: もし仮にこのハイダ族が凭れ合うとすれば成因である fact5: このハイダ族は財形教育融資である fact6: このハイダ族は因り難い fact7: そのＤＶＤビデオは凭れ合う fact8: あの襞は砕け易くない fact9: その用意は花時だがそれは即断しない fact10: もし「あの親書は超過しない」ということは確かであるなら凭れ合う fact11: もしもその用意が新しくないとすれば水飲み場だししかも因り難くない fact12: その用意は成因である fact13: この上下中央は成因だ fact14: 仮にその用意が新しいとしたらそれは成因である fact15: その脊髄腫瘍は新しい fact16: 「もしこのハイダ族が成因であるならこのハイダ族は砕け易い」ということは確かだ fact17: このハイダ族は変遷する fact18: 仮にその用意が砕け易くないならばそれは水飲み場であるししかもそれは凭れ合わない fact19: もし仮にこのハイダ族は成因であるとすれば焦れったい fact20: 仮にその用意が財形教育融資であるし砕け易いならばこのハイダ族は因り難くない fact21: このハイダ族は水飲み場でない fact22: 仮にその用意が凭れ合わないならばそれは財形教育融資であるがしかし新しくない fact23: このハイダ族は読み易い ; $hypothesis$ = 「その用意は水飲み場であるがそれは因り難くない」ということは間違いだ ; $proof$ = 
fact4 & fact3 -> int1: このハイダ族は成因である; int1 & fact16 -> int2: このハイダ族は砕け易い; int2 & fact5 -> int3: このハイダ族は財形教育融資であるしまた砕け易い; int3 & fact2 -> int4: その用意は新しくない; int4 & fact11 -> hypothesis; __DISPROVED__
事実1: このハイダ族は新しい
事実2: 仮にこのハイダ族が財形教育融資であるしまた砕け易いとすればあの用意は新しくない
事実3: このハイダ族は凭れ合う
事実4: もし仮にこのハイダ族が凭れ合うとすれば成因である
事実5: このハイダ族は財形教育融資である
事実6: このハイダ族は因り難い
事実7: そのＤＶＤビデオは凭れ合う
事実8: あの襞は砕け易くない
事実9: その用意は花時だがそれは即断しない
事実10: もし「あの親書は超過しない」ということは確かであるなら凭れ合う
事実11: もしもその用意が新しくないとすれば水飲み場だししかも因り難くない
事実12: その用意は成因である
事実13: この上下中央は成因だ
事実14: 仮にその用意が新しいとしたらそれは成因である
事実15: その脊髄腫瘍は新しい
事実16: 「もしこのハイダ族が成因であるならこのハイダ族は砕け易い」ということは確かだ
事実17: このハイダ族は変遷する
事実18: 仮にその用意が砕け易くないならばそれは水飲み場であるししかもそれは凭れ合わない
事実19: もし仮にこのハイダ族は成因であるとすれば焦れったい
事実20: 仮にその用意が財形教育融資であるし砕け易いならばこのハイダ族は因り難くない
事実21: このハイダ族は水飲み場でない
事実22: 仮にその用意が凭れ合わないならばそれは財形教育融資であるがしかし新しくない
事実23: このハイダ族は読み易い

仮説: 「その用意は水飲み場であるがそれは因り難くない」ということは間違いだ
1. 事実4と事実3から、推論1: "このハイダ族は成因である"が導かれる
2. 推論1と事実16から、推論2: "このハイダ族は砕け易い"が導かれる
3. 推論2と事実5から、推論3: "このハイダ族は財形教育融資であるしまた砕け易い"が導かれる
4. 推論3と事実2から、推論4: "その用意は新しくない"が導かれる
5. 推論4と事実11から、仮説が否定される

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