この四グループは主計官である
fact1: この四グループはコンソーシアムだけど未練がましかない fact2: もしこの四グループがコンソーシアムだが未練がましかないならばそれは主計官だ
$facts$ = fact1: この四グループはコンソーシアムだけど未練がましかない fact2: もしこの四グループがコンソーシアムだが未練がましかないならばそれは主計官だ ; $hypothesis$ = この四グループは主計官である ; $proof$ = 
事実1: この四グループはコンソーシアムだけど未練がましかない
事実2: もしこの四グループがコンソーシアムだが未練がましかないならばそれは主計官だ

仮説: この四グループは主計官である