あのオートマトンは情けない
fact1: あのオートマトンは情けない fact2: そのメインＣは情けない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: あのオートマトンは情けない fact2: そのメインＣは情けない ; $hypothesis$ = あのオートマトンは情けない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あのオートマトンは情けない
事実2: そのメインＣは情けない

仮説: あのオートマトンは情けない
1. 事実1から、仮説が導かれる

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