この縛り首は共生生物でない
fact1: 「同梱するが弱しない」ものはある fact2: 「もしなにかは同梱するけれどそれは弱しということはないとしたら「この縛り首は共生生物である」ということは確かだ」ということは成り立つ
$facts$ = fact1: 「同梱するが弱しない」ものはある fact2: 「もしなにかは同梱するけれどそれは弱しということはないとしたら「この縛り首は共生生物である」ということは確かだ」ということは成り立つ ; $hypothesis$ = この縛り首は共生生物でない ; $proof$ = 
事実1: 「同梱するが弱しない」ものはある
事実2: 「もしなにかは同梱するけれどそれは弱しということはないとしたら「この縛り首は共生生物である」ということは確かだ」ということは成り立つ

仮説: この縛り首は共生生物でない