このポンプ設備は書き記すということはない
fact1: 「勝てるし加えて言い知れる」ものはある fact2: もし仮に「勝てるし言い知れる」物があるとしたらこのポンプ設備は書き記さない
$facts$ = fact1: 「勝てるし加えて言い知れる」ものはある fact2: もし仮に「勝てるし言い知れる」物があるとしたらこのポンプ設備は書き記さない ; $hypothesis$ = このポンプ設備は書き記すということはない ; $proof$ = 
事実1: 「勝てるし加えて言い知れる」ものはある
事実2: もし仮に「勝てるし言い知れる」物があるとしたらこのポンプ設備は書き記さない

仮説: このポンプ設備は書き記すということはない