あの一緒くたは捕らわれ易くない
fact1: このクルはオープンしない一方でそれは当為である fact2: もしこのクルはオープンしない一方で当為であるなら「あの一緒くたは捕らわれ易くない」ということは嘘でない
$facts$ = fact1: このクルはオープンしない一方でそれは当為である fact2: もしこのクルはオープンしない一方で当為であるなら「あの一緒くたは捕らわれ易くない」ということは嘘でない ; $hypothesis$ = あの一緒くたは捕らわれ易くない ; $proof$ = 
事実1: このクルはオープンしない一方でそれは当為である
事実2: もしこのクルはオープンしない一方で当為であるなら「あの一緒くたは捕らわれ易くない」ということは嘘でない

仮説: あの一緒くたは捕らわれ易くない