この三猿は延び延びでない
fact1: 「この三猿は投擲する」ということは確かだとしたら「それは延び延びだ」ということは確かである fact2: この三猿は投擲する
$facts$ = fact1: 「この三猿は投擲する」ということは確かだとしたら「それは延び延びだ」ということは確かである fact2: この三猿は投擲する ; $hypothesis$ = この三猿は延び延びでない ; $proof$ = 
事実1: 「この三猿は投擲する」ということは確かだとしたら「それは延び延びだ」ということは確かである
事実2: この三猿は投擲する

仮説: この三猿は延び延びでない