このノーザンダンサーは遡上するし含み得る
fact1: このペンシル・癌は含み得る fact2: このボール箱は遡上する fact3: このノーザンダンサーは遡上する fact4: このノーザンダンサーは含み得る
$facts$ = fact1: このペンシル・癌は含み得る fact2: このボール箱は遡上する fact3: このノーザンダンサーは遡上する fact4: このノーザンダンサーは含み得る ; $hypothesis$ = このノーザンダンサーは遡上するし含み得る ; $proof$ = 
事実1: このペンシル・癌は含み得る
事実2: このボール箱は遡上する
事実3: このノーザンダンサーは遡上する
事実4: このノーザンダンサーは含み得る

仮説: このノーザンダンサーは遡上するし含み得る