あの連結グループは気付き易い
fact1: 仮にあの生霊がアメリカ機でないならばあの連結グループが気付き易いしその上食べ終える fact2: もし利用し易くないものはテキストオブジェクトだとすると「気付き易くない」ということは誤りでない fact3: 仮にあの生霊が食べ終えないとするとあの連結グループは利用し易くない一方でそれはテキストオブジェクトだ fact4: 「あの生霊は食べ終えるということはない」ということは間違っていない
fact3 & fact4 -> int1: あの連結グループは利用し易くないがテキストオブジェクトだ; fact2 -> int2: もしもあの連結グループは利用し易くないけれどテキストオブジェクトであるとすると気付き易くない; int1 & int2 -> hypothesis;
あの連結グループは気付き易い
$facts$ = fact1: 仮にあの生霊がアメリカ機でないならばあの連結グループが気付き易いしその上食べ終える fact2: もし利用し易くないものはテキストオブジェクトだとすると「気付き易くない」ということは誤りでない fact3: 仮にあの生霊が食べ終えないとするとあの連結グループは利用し易くない一方でそれはテキストオブジェクトだ fact4: 「あの生霊は食べ終えるということはない」ということは間違っていない ; $hypothesis$ = あの連結グループは気付き易い ; $proof$ = 
fact3 & fact4 -> int1: あの連結グループは利用し易くないがテキストオブジェクトだ; fact2 -> int2: もしもあの連結グループは利用し易くないけれどテキストオブジェクトであるとすると気付き易くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮にあの生霊がアメリカ機でないならばあの連結グループが気付き易いしその上食べ終える
事実2: もし利用し易くないものはテキストオブジェクトだとすると「気付き易くない」ということは誤りでない
事実3: 仮にあの生霊が食べ終えないとするとあの連結グループは利用し易くない一方でそれはテキストオブジェクトだ
事実4: 「あの生霊は食べ終えるということはない」ということは間違っていない

仮説: あの連結グループは気付き易い
1. 事実3と事実4から、推論1: "あの連結グループは利用し易くないがテキストオブジェクトだ"が導かれる
2. 事実2から、推論2: "もしもあの連結グループは利用し易くないけれどテキストオブジェクトであるとすると気付き易くない"が導かれる
3. 推論1と推論2から、仮説が否定される

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