そのアナリシスは直り難い
fact1: もしそのアナリシスはとろくないけれど鎖陰であるとしたら「それは直り難い」ということは確かだ fact2: そのアナリシスはとろくないけど鎖陰だ
$facts$ = fact1: もしそのアナリシスはとろくないけれど鎖陰であるとしたら「それは直り難い」ということは確かだ fact2: そのアナリシスはとろくないけど鎖陰だ ; $hypothesis$ = そのアナリシスは直り難い ; $proof$ = 
事実1: もしそのアナリシスはとろくないけれど鎖陰であるとしたら「それは直り難い」ということは確かだ
事実2: そのアナリシスはとろくないけど鎖陰だ

仮説: そのアナリシスは直り難い