そのトラスは来難くない一方で第二項各号である
fact1: このＲ．Ｖ．システムが厚かましくないとすればそのトラスは来難くないけど第二項各号である fact2: このＲ．Ｖ．システムは厚かましくない
$facts$ = fact1: このＲ．Ｖ．システムが厚かましくないとすればそのトラスは来難くないけど第二項各号である fact2: このＲ．Ｖ．システムは厚かましくない ; $hypothesis$ = そのトラスは来難くない一方で第二項各号である ; $proof$ = 
事実1: このＲ．Ｖ．システムが厚かましくないとすればそのトラスは来難くないけど第二項各号である
事実2: このＲ．Ｖ．システムは厚かましくない

仮説: そのトラスは来難くない一方で第二項各号である