そのブラックパッチは腫れ上がらない
fact1: 「あの腸内は師匠達だということはなくてそれは肩凝りでない」ということは成り立たない fact2: 仮に「あの腸内は師匠達でないし肩凝りでない」ということは成り立たないとするとそのブラックパッチは腫れ上がる
$facts$ = fact1: 「あの腸内は師匠達だということはなくてそれは肩凝りでない」ということは成り立たない fact2: 仮に「あの腸内は師匠達でないし肩凝りでない」ということは成り立たないとするとそのブラックパッチは腫れ上がる ; $hypothesis$ = そのブラックパッチは腫れ上がらない ; $proof$ = 
事実1: 「あの腸内は師匠達だということはなくてそれは肩凝りでない」ということは成り立たない
事実2: 仮に「あの腸内は師匠達でないし肩凝りでない」ということは成り立たないとするとそのブラックパッチは腫れ上がる

仮説: そのブラックパッチは腫れ上がらない