その凸レンズは御協力でない
fact1: その凸レンズは遅らせる fact2: もしその凸レンズが遅らせるとすると御協力である
$facts$ = fact1: その凸レンズは遅らせる fact2: もしその凸レンズが遅らせるとすると御協力である ; $hypothesis$ = その凸レンズは御協力でない ; $proof$ = 
事実1: その凸レンズは遅らせる
事実2: もしその凸レンズが遅らせるとすると御協力である

仮説: その凸レンズは御協力でない