あの隠匿はちっこくない
fact1: 何かは捕らわれ易くない fact2: もし仮にこの資本ストックが郵便である一方で捕らわれ易いということはないとしたらあの隠匿はちっこくない fact3: もし仮に「捕らわれ易くない」ものがあるならばあの隠匿は郵便であるしそれにちっこい fact4: 「もし仮に何かは幼しないとすると郵便だけれど捕らわれ易いということはない」ということは本当だ
fact1 & fact3 -> int1: あの隠匿は郵便だしさらにちっこい; int1 -> hypothesis;
あの隠匿はちっこくない
fact5 -> int2: もしこの資本ストックが幼しないとしたらそれは郵便であるが捕らわれ易いということはない;
$facts$ = fact1: 何かは捕らわれ易くない fact2: もし仮にこの資本ストックが郵便である一方で捕らわれ易いということはないとしたらあの隠匿はちっこくない fact3: もし仮に「捕らわれ易くない」ものがあるならばあの隠匿は郵便であるしそれにちっこい fact4: 「もし仮に何かは幼しないとすると郵便だけれど捕らわれ易いということはない」ということは本当だ ; $hypothesis$ = あの隠匿はちっこくない ; $proof$ = 
fact1 & fact3 -> int1: あの隠匿は郵便だしさらにちっこい; int1 -> hypothesis; __DISPROVED__
事実1: 何かは捕らわれ易くない
事実2: もし仮にこの資本ストックが郵便である一方で捕らわれ易いということはないとしたらあの隠匿はちっこくない
事実3: もし仮に「捕らわれ易くない」ものがあるならばあの隠匿は郵便であるしそれにちっこい
事実4: 「もし仮に何かは幼しないとすると郵便だけれど捕らわれ易いということはない」ということは本当だ

仮説: あの隠匿はちっこくない
1. 事実1と事実3から、推論1: "あの隠匿は郵便だしさらにちっこい"が導かれる
2. 推論1から、仮説が否定される

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