あの大鳥は厚くない
fact1: あの大鳥は理解し難いが言い分けない fact2: あの大鳥は理解し難いけれど言い分けないとしたら厚いということはない
$facts$ = fact1: あの大鳥は理解し難いが言い分けない fact2: あの大鳥は理解し難いけれど言い分けないとしたら厚いということはない ; $hypothesis$ = あの大鳥は厚くない ; $proof$ = 
事実1: あの大鳥は理解し難いが言い分けない
事実2: あの大鳥は理解し難いけれど言い分けないとしたら厚いということはない

仮説: あの大鳥は厚くない