この宿主側は水行する
fact1: この宿主側が悪しないとすると水行するということはない fact2: この宿主側は悪しない
$facts$ = fact1: この宿主側が悪しないとすると水行するということはない fact2: この宿主側は悪しない ; $hypothesis$ = この宿主側は水行する ; $proof$ = 
事実1: この宿主側が悪しないとすると水行するということはない
事実2: この宿主側は悪しない

仮説: この宿主側は水行する