「そのＯツーはちょろいということはない」ということは確かである
fact1: そのＯツーは自任するがちょろくない
$facts$ = fact1: そのＯツーは自任するがちょろくない ; $hypothesis$ = 「そのＯツーはちょろいということはない」ということは確かである ; $proof$ = 
事実1: そのＯツーは自任するがちょろくない

仮説: 「そのＯツーはちょろいということはない」ということは確かである