「その身中は首尾良いしまた刑法典だ」ということは成り立たない
fact1: その身中は首尾良い fact2: その身中は刑法典だ
$facts$ = fact1: その身中は首尾良い fact2: その身中は刑法典だ ; $hypothesis$ = 「その身中は首尾良いしまた刑法典だ」ということは成り立たない ; $proof$ = 
事実1: その身中は首尾良い
事実2: その身中は刑法典だ

仮説: 「その身中は首尾良いしまた刑法典だ」ということは成り立たない