あのＢＣは八等分である
fact1: もしもあのＢＣが意地悪いならば八等分だ fact2: あのＢＣは意地悪い
$facts$ = fact1: もしもあのＢＣが意地悪いならば八等分だ fact2: あのＢＣは意地悪い ; $hypothesis$ = あのＢＣは八等分である ; $proof$ = 
事実1: もしもあのＢＣが意地悪いならば八等分だ
事実2: あのＢＣは意地悪い

仮説: あのＢＣは八等分である