この九軒はドキュメント管理機能でない
fact1: 「「調達すかまたはジーパンである」ということは偽である」ものはある fact2: 「「調達すかあるいはジーパンであるかまたはどちらもだ」ということは成り立たない」ものがあるとしたらこの九軒はドキュメント管理機能だということはない
$facts$ = fact1: 「「調達すかまたはジーパンである」ということは偽である」ものはある fact2: 「「調達すかあるいはジーパンであるかまたはどちらもだ」ということは成り立たない」ものがあるとしたらこの九軒はドキュメント管理機能だということはない ; $hypothesis$ = この九軒はドキュメント管理機能でない ; $proof$ = 
事実1: 「「調達すかまたはジーパンである」ということは偽である」ものはある
事実2: 「「調達すかあるいはジーパンであるかまたはどちらもだ」ということは成り立たない」ものがあるとしたらこの九軒はドキュメント管理機能だということはない

仮説: この九軒はドキュメント管理機能でない