「あの多粒子系は厳ついしかつそれはＣ四Ｂである」ということは成り立たない
fact1: あの多粒子系は厳つい fact2: あの多粒子系はＣ四Ｂである
$facts$ = fact1: あの多粒子系は厳つい fact2: あの多粒子系はＣ四Ｂである ; $hypothesis$ = 「あの多粒子系は厳ついしかつそれはＣ四Ｂである」ということは成り立たない ; $proof$ = 
事実1: あの多粒子系は厳つい
事実2: あの多粒子系はＣ四Ｂである

仮説: 「あの多粒子系は厳ついしかつそれはＣ四Ｂである」ということは成り立たない