「この男結びは訴訟経済でない」ということは本当である
fact1: この男結びは水管だ fact2: もしこの男結びは水管であるとすれば訴訟経済である
$facts$ = fact1: この男結びは水管だ fact2: もしこの男結びは水管であるとすれば訴訟経済である ; $hypothesis$ = 「この男結びは訴訟経済でない」ということは本当である ; $proof$ = 
事実1: この男結びは水管だ
事実2: もしこの男結びは水管であるとすれば訴訟経済である

仮説: 「この男結びは訴訟経済でない」ということは本当である