あの三個分は社会的要請だということはない
fact1: もしもあの無限が励むとすればあの三個分は社会的要請でない fact2: 付着し易くない物は励まないがしかし社会的要請である fact3: 「あの三個分はスターだが十人余りでない」ということは間違っているとすればそれは付着し易いということはない fact4: 「あの三個分はスターである一方で十人余りでない」ということは誤っている
fact3 & fact4 -> int1: あの三個分は付着し易くない; fact2 -> int2: もしあの三個分が付着し易いということはないとするとそれは励まないがしかし社会的要請である; int1 & int2 -> int3: あの三個分は励まない一方でそれは社会的要請である; int3 -> hypothesis;
あの三個分は社会的要請でない
$facts$ = fact1: もしもあの無限が励むとすればあの三個分は社会的要請でない fact2: 付着し易くない物は励まないがしかし社会的要請である fact3: 「あの三個分はスターだが十人余りでない」ということは間違っているとすればそれは付着し易いということはない fact4: 「あの三個分はスターである一方で十人余りでない」ということは誤っている ; $hypothesis$ = あの三個分は社会的要請だということはない ; $proof$ = 
fact3 & fact4 -> int1: あの三個分は付着し易くない; fact2 -> int2: もしあの三個分が付着し易いということはないとするとそれは励まないがしかし社会的要請である; int1 & int2 -> int3: あの三個分は励まない一方でそれは社会的要請である; int3 -> hypothesis; __DISPROVED__
事実1: もしもあの無限が励むとすればあの三個分は社会的要請でない
事実2: 付着し易くない物は励まないがしかし社会的要請である
事実3: 「あの三個分はスターだが十人余りでない」ということは間違っているとすればそれは付着し易いということはない
事実4: 「あの三個分はスターである一方で十人余りでない」ということは誤っている

仮説: あの三個分は社会的要請だということはない
1. 事実3と事実4から、推論1: "あの三個分は付着し易くない"が導かれる
2. 事実2から、推論2: "もしあの三個分が付着し易いということはないとするとそれは励まないがしかし社会的要請である"が導かれる
3. 推論1と推論2から、推論3: "あの三個分は励まない一方でそれは社会的要請である"が導かれる
4. 推論3から、仮説が否定される

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