その登録証はばあかしいということはない
fact1: あの査問委員会はばあかしかない fact2: その登録証はコンポーネントだということはない fact3: この四対一はばあかしかない fact4: その登録証はばあかしいということはない
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: あの査問委員会はばあかしかない fact2: その登録証はコンポーネントだということはない fact3: この四対一はばあかしかない fact4: その登録証はばあかしいということはない ; $hypothesis$ = その登録証はばあかしいということはない ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: あの査問委員会はばあかしかない
事実2: その登録証はコンポーネントだということはない
事実3: この四対一はばあかしかない
事実4: その登録証はばあかしいということはない

仮説: その登録証はばあかしいということはない
1. 事実4から、仮説が導かれる

よって、仮説が証明されました。