その成員は携行するということはない
fact1: 仮にその母系が覚え難いとしたらその成員は携行する fact2: その母系は覚え難い
$facts$ = fact1: 仮にその母系が覚え難いとしたらその成員は携行する fact2: その母系は覚え難い ; $hypothesis$ = その成員は携行するということはない ; $proof$ = 
事実1: 仮にその母系が覚え難いとしたらその成員は携行する
事実2: その母系は覚え難い

仮説: その成員は携行するということはない