ある物は利用し始めるかもしくはにこにこするかもしくはどちらもだ
fact1: その判例集は利用し始めるかあるいはにこにこするかどちらもである
$facts$ = fact1: その判例集は利用し始めるかあるいはにこにこするかどちらもである ; $hypothesis$ = ある物は利用し始めるかもしくはにこにこするかもしくはどちらもだ ; $proof$ = 
事実1: その判例集は利用し始めるかあるいはにこにこするかどちらもである

仮説: ある物は利用し始めるかもしくはにこにこするかもしくはどちらもだ