「「この本部会社は履行すということはなくておまけに組み込まない」ということは事実である」ということは成り立たない
fact1: この本部会社は生じ易い fact2: 仮にこの本部会社が生じ易いとすればそれは履行すらなくて組み込まない
$facts$ = fact1: この本部会社は生じ易い fact2: 仮にこの本部会社が生じ易いとすればそれは履行すらなくて組み込まない ; $hypothesis$ = 「「この本部会社は履行すということはなくておまけに組み込まない」ということは事実である」ということは成り立たない ; $proof$ = 
事実1: この本部会社は生じ易い
事実2: 仮にこの本部会社が生じ易いとすればそれは履行すらなくて組み込まない

仮説: 「「この本部会社は履行すということはなくておまけに組み込まない」ということは事実である」ということは成り立たない