もしもあの金堂が応対しない一方でそれは買い増しするとすると「カナールだ」ということは正しい
fact1: もし仮になんらかのものは応対しないけど買い増しするとすればカナールである
$facts$ = fact1: もし仮になんらかのものは応対しないけど買い増しするとすればカナールである ; $hypothesis$ = もしもあの金堂が応対しない一方でそれは買い増しするとすると「カナールだ」ということは正しい ; $proof$ = 
事実1: もし仮になんらかのものは応対しないけど買い増しするとすればカナールである

仮説: もしもあの金堂が応対しない一方でそれは買い増しするとすると「カナールだ」ということは正しい