この流布はマルチーズであるけれど強か者でない
fact1: 「行使するということはない」ものがあるならこの流布はマルチーズだが強か者でない fact2: 「行使しない」ものはある
$facts$ = fact1: 「行使するということはない」ものがあるならこの流布はマルチーズだが強か者でない fact2: 「行使しない」ものはある ; $hypothesis$ = この流布はマルチーズであるけれど強か者でない ; $proof$ = 
事実1: 「行使するということはない」ものがあるならこの流布はマルチーズだが強か者でない
事実2: 「行使しない」ものはある

仮説: この流布はマルチーズであるけれど強か者でない